Model checking software for microcontrollers

Additional Metadata
Publisher	Cornell University Library
Series	arXiv.org e-Print archive
Organisation	Specification and Analysis of Embedded Systems
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Schlich, B., Rohrbach, M., Weber, M.& Kowalewski, S. (2006). Model checking software for microcontrollers. In arXiv.org e-Print archive (2006-11). Cornell University Library .

Publication