DuganBCT85'

@inproceedings{DBLP:conf/pnpm/DuganBCT85,
  author    = {Joanne Bechta Dugan and
               Andrea Bobbio and
               Gianfranco Ciardo and
               Kishor S. Trivedi},
  title     = {The Design of a Unified Package for the Solution of Stochastic
               Petri Net Models},
  booktitle = {PNPM},
  year      = {1985},
  pages     = {6-13},
  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}
}