BibTeX record conf/popl/GriffithsP76

download as .bib file

@inproceedings{DBLP:conf/popl/GriffithsP76,
  author    = {Patricia P. Griffiths and
               Charles J. Prenner},
  title     = {Verifying Formal Specifications of Synchronous Processes},
  booktitle = {Conference Record of the Third {ACM} Symposium on Principles of Programming
               Languages, Atlanta, Georgia, USA, January 1976},
  pages     = {192--208},
  year      = {1976},
  crossref  = {DBLP:conf/popl/1976},
  url       = {https://doi.org/10.1145/800168.811553},
  doi       = {10.1145/800168.811553},
  timestamp = {Tue, 06 Nov 2018 11:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/popl/GriffithsP76.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1976,
  editor    = {Susan L. Graham and
               Robert M. Graham and
               Michael A. Harrison and
               William I. Grosky and
               Jeffrey D. Ullman},
  title     = {Conference Record of the Third {ACM} Symposium on Principles of Programming
               Languages, Atlanta, Georgia, USA, January 1976},
  publisher = {{ACM} Press},
  year      = {1976},
  url       = {http://dl.acm.org/citation.cfm?id=800168},
  timestamp = {Mon, 06 Dec 2021 13:29:42 +0100},
  biburl    = {https://dblp.org/rec/conf/popl/1976.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics