A. Prasad Sistla. Symmetry Reductions in Model-Checking. In Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay, editors, Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings. Volume 2575 of Lecture Notes in Computer Science, pages 25, Springer, 2003. [doi]
@inproceedings{Sistla03,
title = {Symmetry Reductions in Model-Checking},
author = {A. Prasad Sistla},
year = {2003},
url = {http://link.springer.de/link/service/series/0558/bibs/2575/25750025.htm},
tags = {model checking, meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/Sistla03},
cites = {0},
citedby = {0},
pages = {25},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
editor = {Lenore D. Zuck and Paul C. Attie and Agostino Cortesi and Supratik Mukhopadhyay},
volume = {2575},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-00348-7},
}