Publications
Lille, France, June 4-6, 2019, Proceedings, volume 11495 of Lecture Notes in Computer Science, pages 142–158. Springer, 2019b. ISBN 978-3-030-18743-9. doi: 10.1007/978-3-030-18744-6_9 2018 Wen-ling Huang [...] by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings, volume 1051 of Lecture Notes in Computer Science, pages 538–556. Springer, 1996. ISBN 3-540-60973-3. doi: 10.1007/3-540-60973-3_106 Jan Peleska [...] Proceedings, volume 9933 of Lecture Notes in Computer Science, pages 3–21. Springer, 2016b. ISBN 978-3-319-45942-4. doi: 10.1007/978-3-319-45943-1_1 Jan Peleska, Wen-ling Huang, and Felix Hübner. A novel