Automatic abstraction refinement for generalized symbolic trajectory evaluation (2007)

by Y Chen, Y He, F Xie, J Yang
Venue:In Formal Methods in Computer-Aided Design (FMCAD