Zoekresultaten
Resultaat 1 - 1 (van 1)
A. Fehnker | F.W. Vaandrager | M. Zhang Modeling and verifying a Lego car using hybrid I/O automata
Non-fictie
Engels | 18 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2003
Gedrukt boek