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 VeithChapter in Tools and Algorithms for the Construction and Analysis of Systems (Cormac Flanagan, Barbara König, eds.), volume 7214 of Lecture Notes in Computer Science, pages 538-541, 2012, Springer Berlin Heidelberg.
Bibtex Entry:
@incollection{tacas2,
publisher = {Springer Berlin Heidelberg},
doi = {10.1007/978-3-642-28756-5_43},
isbn = {978-3-642-28755-8},
title = {Proving Reachability Using FShell (Competition Contribution)},
url = {/pubpdf/Proving_Reachability_Using_FShell_(Competition_Contribution).pdf},
series = {Lecture Notes in Computer Science},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
author = {Holzer, Andreas and Kroening, Daniel and Schallhart, Christian and
Tautschnig, Michael and Veith, Helmut},
volume = {7214},
link = {http://dx.doi.org/10.1007/978-3-642-28756-5_43},
editor = {Flanagan, Cormac and K{\"o}nig, Barbara},
year = {2012},
pages = {538-541},
}
Powered by bibtexbrowser