![](/img/cover-not-exists.png)
[IEEE 40th Conference on Decision and Control - Orlando, FL, USA (4-7 Dec. 2001)] Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) - d/dt: a verification tool for hybrid systems
Asarin, E., Dang, T., Maler, O.Volume:
3
Year:
2001
Language:
english
DOI:
10.1109/.2001.980715
File:
PDF, 645 KB
english, 2001