DBLP BibTeX Record 'conf/tau/KimTB02'

@inproceedings{DBLP:conf/tau/KimTB02,
  author    = {Sangyun Kim and
               Sunan Tugsinavisut and
               Peter A. Beerel},
  title     = {Reducing probabilistic timed petri nets for asynchronous
               architectural analysis},
  booktitle = {Timing Issues in the Specification and Synthesis of Digital
               Systems},
  year      = {2002},
  pages     = {140-147},
  ee        = {http://doi.acm.org/10.1145/589411.589441},
  crossref  = {DBLP:conf/tau/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/tau/2002,
  editor    = {David P. LaPotin and
               Charles J. Alpert and
               John Lillis},
  title     = {Proceedings of the 8th ACM/IEEE International Workshop on
               Timing Issues in the Specification and Synthesis of Digital
               Systems, Monterey, California, USA, December 2-3, 2002},
  booktitle = {Timing Issues in the Specification and Synthesis of Digital
               Systems},
  publisher = {ACM},
  year      = {2002},
  isbn      = {1-58113-526-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}