Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla. Symmetry Reductions inModel Checking. In Alan J. Hu, Moshe Y. Vardi, editors, Computer Aided Verification, 10th International Conference, CAV 98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Volume 1427 of Lecture Notes in Computer Science, pages 147-158, Springer, 1998.
@inproceedings{ClarkeEJS98,
title = {Symmetry Reductions inModel Checking},
author = {Edmund M. Clarke and E. Allen Emerson and Somesh Jha and A. Prasad Sistla},
year = {1998},
tags = {e-science},
researchr = {https://researchr.org/publication/ClarkeEJS98},
cites = {0},
citedby = {0},
pages = {147-158},
booktitle = {Computer Aided Verification, 10th International Conference, CAV 98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
editor = {Alan J. Hu and Moshe Y. Vardi},
volume = {1427},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-64608-6},
}