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