Dynamic transition relation simplification for bounded property checking (2004)

by A Kuehlmann
Venue:In Computer Aided Design, 2004. ICCAD-2004. IEEE/ACM International Conference on