%0 Conference Paper %1 conf/cav/EmersonS93 %A Emerson, E. Allen %A Sistla, A. Prasad %B CAV %D 1993 %E Courcoubetis, Costas %I Springer %K dblp %P 463-478 %T Symmetry and Model Checking. %U http://dblp.uni-trier.de/db/conf/cav/cav93.html#EmersonS93 %V 697 %@ 3-540-56922-7

@inproceedings{conf/cav/EmersonS93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Emerson, E. Allen and Sistla, A. Prasad}, biburl = {https://www.bibsonomy.org/bibtex/22527f3b05b46658fbe63b3af34bed117/dblp}, booktitle = {CAV}, crossref = {conf/cav/1993}, editor = {Courcoubetis, Costas}, ee = {https://doi.org/10.1007/3-540-56922-7_38}, interhash = {5d9f79bfdfab40817ed792e70f1bd06a}, intrahash = {2527f3b05b46658fbe63b3af34bed117}, isbn = {3-540-56922-7}, keywords = {dblp}, pages = {463-478}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:16.000+0200}, title = {Symmetry and Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav93.html#EmersonS93}, volume = 697, year = 1993 }