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,
- 2015-04-17; in: "TACAS",
Springer Berlin Heidelberg,
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.