%0 Conference Paper %1 conf/cav/AzizSS94 %A Aziz, Adnan %A Shiple, Thomas R. %A Singhal, Vigyan %B CAV %D 1994 %E Dill, David L. %I Springer %K dblp %P 324-337 %T Formula-Dependent Equivalence for Compositional CTL Model Checking. %U http://dblp.uni-trier.de/db/conf/cav/cav94.html#AzizSS94 %V 818 %@ 3-540-58179-0

@inproceedings{conf/cav/AzizSS94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Aziz, Adnan and Shiple, Thomas R. and Singhal, Vigyan}, biburl = {https://www.bibsonomy.org/bibtex/23386ea584615e58d039bd0c74ac0a760/dblp}, booktitle = {CAV}, crossref = {conf/cav/1994}, editor = {Dill, David L.}, ee = {https://doi.org/10.1007/3-540-58179-0_65}, interhash = {b215d125e201fbcf0f7d783092d7b07d}, intrahash = {3386ea584615e58d039bd0c74ac0a760}, isbn = {3-540-58179-0}, keywords = {dblp}, pages = {324-337}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:50.000+0200}, title = {Formula-Dependent Equivalence for Compositional CTL Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav94.html#AzizSS94}, volume = 818, year = 1994 }