BibTeX record conf/popl/ReifP80

download as .bib file

@inproceedings{DBLP:conf/popl/ReifP80,
  author       = {John H. Reif and
                  Gary L. Peterson},
  editor       = {Paul W. Abrahams and
                  Richard J. Lipton and
                  Stephen R. Bourne},
  title        = {A Dynamic Logic of Multiprocessing with Incomplete Information},
  booktitle    = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
                  of Programming Languages, Las Vegas, Nevada, USA, January 1980},
  pages        = {193--202},
  publisher    = {{ACM} Press},
  year         = {1980},
  url          = {https://doi.org/10.1145/567446.567465},
  doi          = {10.1145/567446.567465},
  timestamp    = {Tue, 06 Nov 2018 11:07:43 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/ReifP80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics