Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
S. Leue, M. Tabaei Befrouei:
"Mining Sequential Patterns to Explain Concurrent Counterexamples";
Vortrag: International SPIN Symposium on Model Checking of Software (SPIN),
Stony Brook, NY, USA;
08.07.2013
- 09.07.2013; in: "SPIN",
LNCS, Springer,
7976
(2013),
ISBN: 978-3-642-39175-0;
S. 264
- 281.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-39176-7_17
Zugeordnete Projekte:
Projektleitung Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.