DBLP Record 'conf/apn/BestW00'

BibTeX

@inproceedings{DBLP:conf/apn/BestW00,
  author    = {Eike Best and
               Harro Wimmel},
  title     = {Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe
               Petri Nets},
  booktitle = {ICATPN},
  year      = {2000},
  pages     = {63-82},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1825/18250063.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}