DMCA

Predicate abstraction for reachability analysis of hybrid systems (2006)

Cached

Download Links

by Rajeev Alur
Venue:ACM Trans. Embedded Comput. Syst
Citations:41 - 3 self