Compositional Model Checking (bibtex)

by Edmund M. Clarke and David E. Long and Kenneth L. McMillan

Reference:

Compositional Model Checking (Edmund M. Clarke and David E. Long and Kenneth L. McMillan), In Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), Pacific Grove, California, USA, June 5-8, 1989, 1989.

Bibtex Entry:

@inproceedings{DBLP:conf/lics/ClarkeLM89,
  author    = {Edmund M. Clarke and
               David E. Long and
               Kenneth L. McMillan},
  title     = {Compositional Model Checking},
  booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
               {(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
  pages     = {353--362},
  year      = {1989},
  url       = {LICS89.pdf},
  doi       = {10.1109/LICS.1989.39190},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/ClarkeLM89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}