Alice Miller, Alastair F. Donaldson, Muffy Calder. Symmetry in temporal logic model checking. ACM Computing Surveys, 38(3):8, 2006. [doi]
@article{MillerDC06,
title = {Symmetry in temporal logic model checking},
author = {Alice Miller and Alastair F. Donaldson and Muffy Calder},
year = {2006},
doi = {10.1145/1132960.1132962},
url = {http://doi.acm.org/10.1145/1132960.1132962},
tags = {model checking, meta-model, logic, Meta-Environment},
researchr = {https://researchr.org/publication/MillerDC06},
cites = {0},
citedby = {0},
journal = {ACM Computing Surveys},
volume = {38},
number = {3},
pages = {8},
}