E. Allen Emerson, Somesh Jha, Doron Peled. Combining Partial Order and Symmetry Reductions. In Ed Brinksma, editor, Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS 97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Volume 1217 of Lecture Notes in Computer Science, pages 19-34, Springer, 1997.
@inproceedings{EmersonJP97,
title = {Combining Partial Order and Symmetry Reductions},
author = {E. Allen Emerson and Somesh Jha and Doron Peled},
year = {1997},
tags = {e-science},
researchr = {https://researchr.org/publication/EmersonJP97},
cites = {0},
citedby = {0},
pages = {19-34},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS 97, Enschede, The Netherlands, April 2-4, 1997, Proceedings},
editor = {Ed Brinksma},
volume = {1217},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-62790-1},
}