Information Reuse for Multi-goal Reachability Analyses

Beyer, Dirk; Holzer, Andreas; Tautschnig, Michael; Veith, Helmut

doi:10.1007/978-3-642-37036-6_26

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}
}