E. Allen Emerson, A. Prasad Sistla. Symmetry and Model Checking. Formal Methods in System Design, 9(1/2):105-131, 1996.
@article{EmersonS96, title = {Symmetry and Model Checking}, author = {E. Allen Emerson and A. Prasad Sistla}, year = {1996}, tags = {model checking, meta-model, e-science, Meta-Environment}, researchr = {https://researchr.org/publication/EmersonS96}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {9}, number = {1/2}, pages = {105-131}, }