DBLP Record 'conf/apn/DiazA84'

BibTeX

@inproceedings{DBLP:conf/apn/DiazA84,
  author    = {Michel Diaz and
               Pierre Az{\'e}ma},
  title     = {Petri net based models for the specification and validation
               of protocols},
  booktitle = {European Workshop on Applications and Theory in Petri Nets},
  year      = {1984},
  pages     = {101-121},
  ee        = {http://dx.doi.org/10.1007/3-540-15204-0_7},
  crossref  = {DBLP:conf/apn/1984},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/apn/1984,
  editor    = {Grzegorz Rozenberg and
               Hartmann J. Genrich and
               G{\'e}rard Roucairol},
  title     = {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},
  booktitle = {European Workshop on Applications and Theory in Petri Nets},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {188},
  year      = {1985},
  isbn      = {3-540-15204-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}