Talks and Poster Presentations (with Proceedings-Entry):
D. Beyer, A. Holzer, M. Tautschnig, H. Veith:
"Information Reuse for Multi-goal Reachability Analyses";
Talk: European Symposium on Programming (ESOP),
Rom, Italien;
2013-03-16
- 2013-03-24; in: "ESOP",
Springer / LNCS,
7792
(2013),
ISBN: 978-3-642-37035-9;
472
- 491.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-37036-6_26
Created from the Publication Database of the Vienna University of Technology.