by Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
Reference:
Information Reuse for Multi-goal Reachability AnalysesDirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut VeithESOP, pages 472–491, 2013.
Bibtex Entry:
@inproceedings{DBLP:conf/esop/BeyerHTV13,
author = {Dirk Beyer and
Andreas Holzer and
Michael Tautschnig and
Helmut Veith},
title = {{Information Reuse for Multi-goal Reachability Analyses}},
booktitle = {ESOP},
year = {2013},
pages = {472--491},
ee = {http://dx.doi.org/10.1007/978-3-642-37036-6_26},
doi = {10.1007/978-3-642-37036-6_26},
url = {http://dx.doi.org/10.1007/978-3-642-37036-6_26}
}