by Sebastian Biallas, Jörg Brauer, Stefan Kowalewski
Reference:
Counterexample-guided abstraction refinement for PLCs (Sebastian Biallas, Jörg Brauer, Stefan Kowalewski), In 5th International Workshop on Systems Software Verification (SSV 2010), Vancouver, Canada, USENIX Association, 2010.
Bibtex Entry:
@inproceedings { BBK10,
author = { Biallas, Sebastian and Brauer, J"{o}rg and Kowalewski,
Stefan },
title = { Counterexample-guided abstraction refinement for {PLCs} },
booktitle = { 5th International Workshop on Systems Software Verification
(SSV 2010), Vancouver, Canada },
year = { 2010 },
location = { Vancouver, BC, Canada },
pages = { 2--12 },
numpages = { 1 },
publisher = { USENIX Association },
address = { Berkeley, CA, USA },
url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bbk10.pdf },
timestamp = { 2010.07.19 },
i11key = { conference },
i11projectkey = { Arcade },
for_reporting_period = { 2010 },
}