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)

Created from the Publication Database of the Vienna University of Technology.