Additional Metadata
Publisher Cornell University Library
Series arXiv.org e-Print archive
Citation
Schlich, B, Rohrbach, M, Weber, M, & Kowalewski, S. (2006). Model checking software for microcontrollers. arXiv.org e-Print archive. Cornell University Library .