BibTeX record conf/apn/DiazA84

• > Home > conf/apn/DiazA84

@inproceedings{DBLP:conf/apn/DiazA84,
  author       = {Michel Diaz and
                  Pierre Az{\'{e}}ma},
  editor       = {Grzegorz Rozenberg and
                  Hartmann J. Genrich and
                  G{\'{e}}rard Roucairol},
  title        = {Petri net based models for the specification and validation of protocols},
  booktitle    = {Advances in Petri Nets 1984, European Workshop on Applications and
                  Theory in Petri Nets, covers the last two years which include the
                  workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected
                  papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {188},
  pages        = {101--121},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-15204-0\_7},
  doi          = {10.1007/3-540-15204-0\_7},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/DiazA84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}