BibTeX record conf/kr/HalpernV91

download as .bib file

@inproceedings{DBLP:conf/kr/HalpernV91,
  author    = {Joseph Y. Halpern and
               Moshe Y. Vardi},
  editor    = {James F. Allen and
               Richard Fikes and
               Erik Sandewall},
  title     = {Model Checking vs. Theorem Proving: {A} Manifesto},
  booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge
               Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25,
               1991},
  pages     = {325--334},
  publisher = {Morgan Kaufmann},
  year      = {1991},
  timestamp = {Fri, 18 May 2012 15:03:00 +0200},
  biburl    = {https://dblp.org/rec/conf/kr/HalpernV91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics