Modeling and verifying a Lego car using hybrid I/O automata / A. Fehnker, F.W. Vaandrager, M. Zhang
type: ProductModel
type: CreativeWork
type: Book
description: Ook verschenen als on line resource
is part of: p242824072
main entity of page: https://data.bibliotheken.nl/.well-known/genid/5a2b95d9773f9541c70cf5c065eb35e0
name: Modeling and verifying a Lego car using hybrid I/O automata
about: p075603233
about: p075617544
author: p242823157
author: p167553526
contributor: p248234277
contributor: p07206806X
language: en
number of pages: 18
issued: 2003