DMCA

Optimizing Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation (2008)

by Yan Chen , Fei Xie , Jin Yang
Venue:DAC 2008
Citations:1 - 1 self