Predicate abstraction for reachability analysis of hybrid systems
Alur, Rajeev, Dang, Thao, Ivančić, FranjoVolume:
5
Language:
english
Journal:
ACM Transactions on Embedded Computing Systems
DOI:
10.1145/1132357.1132363
Date:
February, 2006
File:
PDF, 649 KB
english, 2006