@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}
}