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