Modeling and verifying a Lego car using hybrid I/O automata / A. Fehnker, F.W. Vaandrager, M. Zhang

<http://data.bibliotheken.nl/id/nbt/p249331659>

Ook verschenen als on line resource

rdfs:label	"Modeling and verifying a Lego car using hybrid I/O automata / A. Fehnker, F.W. Vaandrager, M. Zhang"
schema:name	"Modeling and verifying a Lego car using hybrid I/O automata"
schema:author	Nijmeegs Instituut voor Informatica en Informatiekunde
	Fehnker, Ansgar (1971-)
schema:contributor	Zhang, Miaomiao
	Vaandrager, Frits Willem (1962-)
schema:description	"Ook verschenen als on line resource"
schema:sameAs	<http://www.worldcat.org/oclc/66642783>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/5a2b95d9773f9541c70cf5c065eb35e0>
http://purl.org/dc/terms#issued	"2003"
schema:about	computerwiskunde
	operations research
schema:inLanguage	"en"
schema:isPartOf	Technical report / Nijmegen Institute for Computing and Information Sciences
schema:numberOfPages	18
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/ecf3b115640ed04d605fb6a5f0063298>