Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation (2007)

by Yan Chen , Yujing He , Jin Yang
Venue:In FMCAD ’07
Citations:4 - 2 self