Symmetry Reduction Criteria for Software Model Checking (2002)

by R Iosif
Venue:Proc. Ninth Int’l SPIN Workshop Model Checking Software