Talks and Poster Presentations (with Proceedings-Entry):
R. Mittermayr, J. Blieberger:
"Static Partial-Order Reduction of Concurrent Systems in Polynomial Time";
Talk: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08),
Griechenland;
2008-10-13
- 2008-10-15; in: "Leveraging Applications of Formal Methods, Verification and Validation",
Springer Berlin Heidelberg,
17
(2008),
ISBN: 978-3-540-88478-1;
619
- 633.
Created from the Publication Database of the Vienna University of Technology.