Erschienen:
Konstanz: Bibliothek der Universität Konstanz, 2014
Umfang:
Online-Ressource
Sprache:
Englisch
Identifikator:
Entstehung:
Anmerkungen:
Aus: 2014 International SPIN Symposium on Model Checking of Software (SPIN) : Proceedings, July 21-23, 2014, San Jose, CA, USA / Neha Rungta ... (Hrsg.). - New York, NY : ACM, 2014. - S. 117-120. - ISBN 978-1-4503-2452-6