Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang. Modeling and Verifying a Lego Car Using Hybrid I/O Automata. In 3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA. pages 280-289, IEEE Computer Society, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.