DMCA

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

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