Talks and Poster Presentations (with Proceedings-Entry):
A. Laarman, A. Wijs:
"Partial-Order Reduction for Multi-core LTL Model Checking";
Talk: Haifa Verification Conference (HVC),
Haifa, Isral;
2014-11-18
- 2014-11-20; in: "Haifa Verification Conference (HVC)",
Springer / LNCS,
8855
(2014),
ISBN: 978-3-319-13337-9;
267
- 283.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-13338-6_20
Related Projects:
Project Head Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung
Created from the Publication Database of the Vienna University of Technology.