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