Symbolic model checking: 102° states and beyond (1992)

by K McMillan Clarke, D Dill, L tiwang
Venue:Information and Computation