Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
H. Günther, G. Weissenbacher:
"Incremental bounded software model checking";
Vortrag: International SPIN Symposium on Model Checking of Software (SPIN),
San Jose, CA, USA;
21.07.2014
- 23.07.2014; in: "SPIN",
ACM New York, NY, USA,
(2014),
ISBN: 978-1-4503-2452-6;
S. 40
- 47.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/2632362.2632374
Zugeordnete Projekte:
Projektleitung Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.