%0 Conference Paper %1 conf/lics/ClarkeLM89 %A Clarke, Edmund M. %A Long, David E. %A McMillan, Kenneth L. %B LICS %D 1989 %I IEEE Computer Society %K dblp %P 353-362 %T Compositional Model Checking %U http://dblp.uni-trier.de/db/conf/lics/lics89.html#ClarkeLM89 %@ 0-8186-1954-6

@inproceedings{conf/lics/ClarkeLM89, added-at = {2023-03-24T00:00:00.000+0100}, author = {Clarke, Edmund M. and Long, David E. and McMillan, Kenneth L.}, biburl = {https://www.bibsonomy.org/bibtex/20a1807936e6567f377b3524fbcf3d20b/dblp}, booktitle = {LICS}, crossref = {conf/lics/1989}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1989.39190}, interhash = {05ce1a265ded8e51904ab99f56a1ed45}, intrahash = {0a1807936e6567f377b3524fbcf3d20b}, isbn = {0-8186-1954-6}, keywords = {dblp}, pages = {353-362}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:44.000+0200}, title = {Compositional Model Checking}, url = {http://dblp.uni-trier.de/db/conf/lics/lics89.html#ClarkeLM89}, year = 1989 }