by Bastian Schlich, Dominique Gückel, Stefan Kowalewski
Reference:
Modeling the Environment of Microcontrollers to Tackle the State-Explosion Problem in Model Checking (Bastian Schlich, Dominique Gückel, Stefan Kowalewski), In Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008), Budapest, Hungary (G. Tarnai, E. Schnieder, eds.), L’Harmattan, 2008.
Bibtex Entry:
@inproceedings { SGK08, address = { Budapest, Hungary }, author = { Schlich, Bastian and G{"u}ckel, Dominique and Kowalewski, Stefan }, booktitle = { Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008), Budapest, Hungary }, editor = { Tarnai, G. and Schnieder, E. }, isbn = { 978-963-236-138-3 }, pages = { 27--34 }, publisher = { L'Harmattan }, title = { Modeling the Environment of Microcontrollers to Tackle the State-Explosion Problem in Model Checking }, year = { 2008 }, i11key = { conference }, for_reporting_period = { Old }, }