![](/img/cover-not-exists.png)
Verification of Hybrid Systems using Abstractions
Puri, Anuj, Varaiya, PravinVolume:
29
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.1016/s1474-6670(17)58457-8
Date:
June, 1996
File:
PDF, 372 KB
english, 1996