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 [...] 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 [...] Springer International Publishing, 2014. ISBN 978-3-319-05415-5. doi: 10.1007/978-3-319-05416-2_3 2013 Anne Elisabeth Haxthausen, Jan Peleska, and Ralf Pinger. Applied bounded model checking for interlocking