@inproceedings{DBLP:conf/async/XieKB99,
  author    = {Aiguo Xie and
               Sangyun Kim and
               Peter A. Beerel},
  title     = {Bounding Average Time Separations of Events in Stochastic
               Timed Petri Nets with Choice},
  booktitle = {ASYNC},
  year      = {1999},
  pages     = {94-107},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ASYNC.1999.761526},
  crossref  = {DBLP:conf/async/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/async/1999,
  title     = {5th  International Symposium on Advanced Research in Asynchronous
               Circuits and Systems (ASYNC '99), 19-22 April 1999, Barcelona,
               Spain},
  booktitle = {ASYNC},
  publisher = {IEEE Computer Society},
  year      = {1999},
  isbn      = {0-7695-0031-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}