Information Reuse for Multi-goal Reachability Analyses (bibtex)
by Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
Reference:
Information Reuse for Multi-goal Reachability AnalysesDirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut VeithESOP, volume 7792 of Lecture Notes in Computer Science, pages 472-491, 2013, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/esop/BeyerHTV13,
publisher = {Springer},
title = {Information Reuse for Multi-goal Reachability Analyses},
url = {/pubpdf/Information_Reuse_for_Multi-goal_Reachability_Analyses.pdf},
series = {Lecture Notes in Computer Science},
booktitle = {ESOP},
author = {Dirk Beyer and Andreas Holzer and Michael Tautschnig and Helmut Veith},
volume = {7792},
year = {2013},
pages = {472-491},
}
Powered by bibtexbrowser