Publications
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 [...] Notes in Computer Science, pages 505–523. Springer, 2015. ISBN 978-3-319-25149-3. doi: 10.1007/978-3-319-25150-9_29 Niels Przigoda, Christoph Hilken, Jan Peleska, Robert Wille, and Rolf Drechsler. Checking [...] 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