by Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
Reference:
Reusing Information in Multi-Goal Reachability AnalysesDirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut VeithSoftware Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Deutschland, pages 97–98, 2014.
Bibtex Entry:
@inproceedings{DBLP:conf/se/BeyerHTV14,
author = {Dirk Beyer and
Andreas Holzer and
Michael Tautschnig and
Helmut Veith},
title = {Reusing Information in Multi-Goal Reachability Analyses},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Deutschland},
year = {2014},
pages = {97--98},
timestamp = {Tue, 18 Nov 2014 18:56:43 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/se/BeyerHTV14},
bibsource = {dblp computer science bibliography, http://dblp.org}
}