Guest editorial: Verification of hybrid systems

Authors
Maler, O
Citation
O. Maler, Guest editorial: Verification of hybrid systems, EUR J CONTR, 7(4), 2001, pp. 357-365
Categorie Soggetti
AI Robotics and Automatic Control
Journal title
EUROPEAN JOURNAL OF CONTROL
ISSN journal
09473580 → ACNP
Volume
7
Issue
4
Year of publication
2001
Pages
357 - 365
Database
ISI
SICI code
0947-3580(2001)7:4<357:GEVOHS>2.0.ZU;2-4