Reusing Information in Multi-Goal Reachability Analyses

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

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