%0 Conference Paper %1 conf/cav/ClarkeEJS98 %A Clarke, Edmund M. %A Emerson, E. Allen %A Jha, Somesh %A Sistla, A. Prasad %B CAV %D 1998 %E Hu, Alan J. %E Vardi, Moshe Y. %I Springer %K dblp %P 147-158 %T Symmetry Reductions in Model Checking. %U http://dblp.uni-trier.de/db/conf/cav/cav98.html#ClarkeEJS98 %V 1427 %@ 3-540-64608-6

@inproceedings{conf/cav/ClarkeEJS98, added-at = {2020-10-30T00:00:00.000+0100}, author = {Clarke, Edmund M. and Emerson, E. Allen and Jha, Somesh and Sistla, A. Prasad}, biburl = {https://www.bibsonomy.org/bibtex/2435b6e7e8ac4c81da55619532bb53e58/dblp}, booktitle = {CAV}, crossref = {conf/cav/1998}, editor = {Hu, Alan J. and Vardi, Moshe Y.}, ee = {https://doi.org/10.1007/BFb0028741}, interhash = {8cdf2dddd56d4298158007f7763dff88}, intrahash = {435b6e7e8ac4c81da55619532bb53e58}, isbn = {3-540-64608-6}, keywords = {dblp}, pages = {147-158}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-10-31T11:36:29.000+0100}, title = {Symmetry Reductions in Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav98.html#ClarkeEJS98}, volume = 1427, year = 1998 }