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

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