Dynamic transition relation simplification for bounded property checking (0)

by A Kuehlmann
Venue:in Proc. Int. Conf. on Computeraided design, 2004