Talks and Poster Presentations (with Proceedings-Entry):

S. Blom, T. van Dijk, K. Gijis, A. Laarman, J. Meijer, J. van de Pol:
"LTSmin: High-Performance Language-Independent Model Checking";
Talk: Tools and Algorithms for the Construction and Analysis of Systems, London, UK; 2015-04-13 - 2015-04-17; in: "TACAS", Springer Berlin Heidelberg, 9035 (2015), ISBN: 978-3-662-46680-3; 692 - 707.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.