DBLP Record 'conf/ac/MemmiV86'

BibTeX

@inproceedings{DBLP:conf/ac/MemmiV86,
  author    = {G{\'e}rard Memmi and
               Jacques Vautherin},
  title     = {Analysing Nets by the Invariant Method},
  booktitle = {Advances in Petri Nets},
  year      = {1986},
  pages     = {300-336},
  crossref  = {DBLP:conf/ac/1986petri1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ac/1986petri1,
  editor    = {Wilfried Brauer and
               Wolfgang Reisig and
               Grzegorz Rozenberg},
  title     = {Petri Nets: Central Models and Their Properties, Advances
               in Petri Nets 1986, Part I, Proceedings of an Advanced Course,
               Bad Honnef, 8.-19. September 1986},
  booktitle = {Advances in Petri Nets},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {254},
  year      = {1987},
  isbn      = {3-540-17905-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}