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)
http://dx.doi.org/10.1007/978-3-662-46681-0_61
Created from the Publication Database of the Vienna University of Technology.