%0 Conference Paper %1 conf/tacas/EmersonJP97 %A Emerson, E. Allen %A Jha, Somesh %A Peled, Doron A. %B TACAS %D 1997 %E Brinksma, Ed %I Springer %K dblp %P 19-34 %T Combining Partial Order and Symmetry Reductions. %U http://dblp.uni-trier.de/db/conf/tacas/tacas97.html#EmersonJP97 %V 1217 %@ 3-540-62790-1

@inproceedings{conf/tacas/EmersonJP97, added-at = {2017-05-22T00:00:00.000+0200}, author = {Emerson, E. Allen and Jha, Somesh and Peled, Doron A.}, biburl = {https://www.bibsonomy.org/bibtex/2cb44019174b98181610af73640835a2d/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/1997}, editor = {Brinksma, Ed}, ee = {https://doi.org/10.1007/BFb0035378}, interhash = {49c4b02169598f7ad56b1923ca107181}, intrahash = {cb44019174b98181610af73640835a2d}, isbn = {3-540-62790-1}, keywords = {dblp}, pages = {19-34}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:37:22.000+0200}, title = {Combining Partial Order and Symmetry Reductions.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas97.html#EmersonJP97}, volume = 1217, year = 1997 }