Publication in Theory and Practice of Formal Methods

A paper has been accepted for publication in  Theory and Practice of Formal Methods.

Bernhard K. Aichernig and Florian Lorber and Martin Tappler: “Conformance Checking of Real-Time Models – Symbolic Execution vs. Bounded Model Checking”, In Theory and Practice of Formal Methods – Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, volume 9660 of Lecture Notes in Computer Science, pages 15–32. Springer, 2016. (PDF)(doi:10.1007/978-3-319-30734-3_4)