Proving Reachability Using FShell - (Competition Contribution) (bibtex)
by Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith
Reference:
Proving Reachability Using FShell - (Competition Contribution)Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut VeithTACAS, volume 7214 of Lecture Notes in Computer Science, pages 538-541, 2012, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/tacas/HolzerKSTV12,
  author    = {Andreas Holzer and
               Daniel Kroening and
               Christian Schallhart and
               Michael Tautschnig and
               Helmut Veith},
  title     = {Proving Reachability Using FShell - (Competition Contribution)},
  booktitle = {TACAS},
  year      = {2012},
  pages     = {538--541},
  ee        = {http://dx.doi.org/10.1007/978-3-642-28756-5_43},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {7214},
  url = {http://dx.doi.org/10.1007/978-3-642-28756-5_43}
}
Powered by bibtexbrowser