Formal Verification of Hybrid Systems
| Title | Formal Verification of Hybrid Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Alur, Rajeev |
| Conference Name | Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT '11) |
| Keywords | 1035715 |
| DOI | 10.1145/2038642.2038685 |
| Citation Key | Alur:2011:FVH:2038642.2038685 |