[Back]


Talks and Poster Presentations (with Proceedings-Entry):
D. Beyer, A. Holzer, M. Tautschnig, H. Veith:
"Reusing Information in Multi-Goal Reachability Analyses";
Talk: Fachtagung des GI-Fachbereichs Softwaretechnik, Kiel, Deutschland; 2014-02-25 - 2014-02-28; in: "Software Engineering 2014", LNI, 227 (2014), ISBN: 978-388579-621-3; 97 - 98.

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