by Bastian Schlich, Jörg Brauer, Stefan Kowalewski
Reference:
Application of Static Analyses for State Space Reduction to Microcontroller Binary Code (Bastian Schlich, Jörg Brauer, Stefan Kowalewski), In Sci. Comput. Program., volume 76, 2011.
Bibtex Entry:
@article { SBK11, author = { Schlich, Bastian and Brauer, J{"o}rg and Kowalewski, Stefan }, title = { Application of Static Analyses for State Space Reduction to Microcontroller Binary Code }, journal = { Sci. Comput. Program. }, year = { 2011 }, volume = { 76 }, number = { 2 }, pages = { 100--118 }, issn = { 0167-6423 }, url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:sbk10.pdf }, i11key = { journal }, timestamp = { 2010.12.06 }, i11projectkey = { Arcade }, for_reporting_period = { 2011 }, }