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, 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}
}
Powered by bibtexbrowser