Authors: Sistla, AP Gyuris, V Emerson, EA

Citation: Ap. Sistla et al., SMC: A symmetry-based model checker for verification of safety and liveness properties, ACM T SOFTW, 9(2), 2000, pp. 133-166