by Bastian Schlich
Reference:
Model Checking of Software for Microcontrollers (Bastian Schlich), In ACM Transactions in Embedded Computing Systems (TECS), ACM Press, volume 9, 2010.
Bibtex Entry:
@string{acm="ACM Press"}
@article { Sch10,
author = { Schlich, Bastian },
journal = { ACM Transactions in Embedded Computing Systems (TECS) },
title = { Model Checking of Software for Microcontrollers },
year = { 2010 },
volume = { 9 },
number = { 4 },
pages = { 1--27 },
issn = { 1539-9087 },
doi = { http://doi.acm.org/10.1145/1721695.1721702 },
publisher = { ACM },
i11key = { journal },
for_reporting_period = { 2010 },
}