by Jörg Brauer, Axel Simon
Reference:
Inferring Definite Counterexamples Through Under-Approximation (Jörg Brauer, Axel Simon), In NASA Formal Methods, Springer, volume 7226, 2012.
Bibtex Entry:
@inproceedings { BS12, author = { Brauer, J{"o}rg and Simon, Axel }, title = { Inferring Definite Counterexamples Through Under-Approximation }, booktitle = { NASA Formal Methods }, year = { 2012 }, series = { Lecture Notes in Computer Science }, publisher = { Springer }, publishedas = { Druck }, language = { eng }, volume = { 7226 }, isbn = { 978-3-642-28890-6 }, pages = { 54--69 }, timestamp = { 2012.01.24 }, i11projectkey = { Arcade }, i11key = { conference }, url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bs12.pdf }, for_reporting_period = { 2012 }, }