%0 Conference Paper %1 clarke89compositional %A Clarke, E.M. %A Long, D.E. %A McMillan, K.L. %B Proceedings of Fourth Annual Symposium on Logic in Computer Science %C Washington D.C. %D 1989 %I IEEE Computer Society Press %K compositional modelchecking verification %P 353--361 %T Compositional Model Checking %U citeseer.ist.psu.edu/747663.html

@inproceedings{clarke89compositional, added-at = {2010-01-26T22:24:19.000+0100}, address = {Washington D.C.}, author = {Clarke, E.M. and Long, D.E. and McMillan, K.L.}, biburl = {https://www.bibsonomy.org/bibtex/2ae801822ce3035d027c7145c1ecda4c3/giuliano.losa}, booktitle = {Proceedings of Fourth Annual Symposium on Logic in Computer Science}, interhash = {05ce1a265ded8e51904ab99f56a1ed45}, intrahash = {ae801822ce3035d027c7145c1ecda4c3}, keywords = {compositional modelchecking verification}, pages = {353--361}, publisher = {IEEE Computer Society Press}, timestamp = {2010-01-26T22:24:19.000+0100}, title = {Compositional Model Checking}, url = {citeseer.ist.psu.edu/747663.html}, year = 1989 }