DBLP Record 'conf/pnpm/EstraillierGI85'

BibTeX

@inproceedings{DBLP:conf/pnpm/EstraillierGI85,
  author    = {P. Estraillier and
               Claude Girault and
               Jean Michel Ili{\'e}},
  title     = {Satellite Protocol Modeling by Synchronous Predicate Transition
               Nets},
  booktitle = {PNPM},
  year      = {1985},
  pages     = {280-287},
  crossref  = {DBLP:conf/pnpm/1985},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pnpm/1985,
  title     = {International Workshop on Timed Petri Nets, Torino, Italy,
               July 1-3, 1985},
  booktitle = {PNPM},
  publisher = {IEEE Computer Society},
  year      = {1985},
  isbn      = {0-8186-0674-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}