BibTeX record conf/nato/GrafS84

• > Home > conf/nato/GrafS84

@inproceedings{DBLP:conf/nato/GrafS84,
  author       = {Susanne Graf and
                  Joseph Sifakis},
  editor       = {Krzysztof R. Apt},
  title        = {A Logic for the Specification and Proof of Controllable Processes
                  of {CCS}},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {369--395},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_13},
  doi          = {10.1007/978-3-642-82453-1\_13},
  timestamp    = {Fri, 17 Apr 2020 17:57:08 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/GrafS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}