Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
A. Laarman, A. Wijs:
"Partial-Order Reduction for Multi-core LTL Model Checking";
Vortrag: Haifa Verification Conference (HVC),
Haifa, Isral;
18.11.2014
- 20.11.2014; in: "Haifa Verification Conference (HVC)",
Springer / LNCS,
8855
(2014),
ISBN: 978-3-319-13337-9;
S. 267
- 283.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-13338-6_20
Zugeordnete Projekte:
Projektleitung Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.