by Thomas Reinbacher, Martin Horauer, Bastian Schlich, Jörg Brauer, Florian Scheuer
Reference:
Model Checking Embedded Software of an Industrial Knitting Machine (Thomas Reinbacher, Martin Horauer, Bastian Schlich, Jörg Brauer, Florian Scheuer), In International Journal of Information Technology, Communications and Convergenceonvergence, Inderscience Enterprises Ltd, 2010.
Bibtex Entry:
@article { RHS+10,
author = { Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian
and Brauer, J{"o}rg and Scheuer, Florian },
title = { Model Checking Embedded Software of an Industrial Knitting
Machine },
journal = { International Journal of Information Technology,
Communications and Convergenceonvergence },
year = { 2010 },
pages = { 186--205 },
publisher = { Inderscience Enterprises Ltd },
publishedas = { Online Druck },
issn = { 2042-3217 },
i11key = { journal },
language = { eng },
url = { http://inderscience.metapress.com/content/y664g84625r780l0/fulltext.pdf },
timestamp = { 2010.08.15 },
for_reporting_period = { 2010 },
}