Counter-Example Guided Predicate Abstraction of Hybrid Systems (2003)

Cached

Download Links

by Rajeev Alur , Thao Dang , Franjo Ivancic
Citations:32 - 8 self