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