Modeling and verifying a Lego car using hybrid I/O automata
Loading...
Date
Authors
Fehnker, A.
Vaandrager, F.W.
Zhang, M.
Journal Title
Journal ISSN
Volume Title
Publisher
Nijmegen : Catholic UNiversity of Nijmegen, Nijmegen Institute for Computing and Information Sciences