by Thomas Reinbacher, Michael Kramer, Martin Horauer, Bastian Schlich
Reference:
Challenges in Embedded Model Checking — A Simulator for the [mc]square Model Checker (Thomas Reinbacher, Michael Kramer, Martin Horauer, Bastian Schlich), In Industrial Embedded Systems (SIES 2008), Le Grande Motte, France, IEEE Computer Society Press, 2008.
Bibtex Entry:
@inproceedings { RKHS08a, author = { Reinbacher, Thomas and Kramer, Michael and Horauer, Martin and Schlich, Bastian }, booktitle = { Industrial Embedded Systems (SIES 2008), Le Grande Motte, France }, doi = { 10.1109/SIES.2008.4577709 }, isbn = { 978-1-4244-1994-4 }, pages = { 245--248 }, publisher = { IEEE Computer Society Press }, title = { Challenges in Embedded Model Checking --- A Simulator for the [mc]square Model Checker }, year = { 2008 }, i11key = { conference }, for_reporting_period = { Old }, }