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 = {{POPL}},
  pages     = {192--208},
  publisher = {{ACM} Press},
  year      = {1976}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics