Symmetry and reduced symmetry in model checking (2001)

Cached

Download Links

by A. Prasad Sistla
Venue:In Computer Aided Verification: 13th International Conference, CAV 2001
Citations:15 - 0 self