BeerelSK02'

@inproceedings{DBLP:conf/async/BeerelSK02,
  author    = {Peter A. Beerel and
               Ken S. Stevens and
               Hoshik Kim},
  title     = {Relative Timing Based Verification of Timed Circuits and
               Systems},
  booktitle = {ASYNC},
  year      = {2002},
  pages     = {115-124},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ASYNC.2002.1000302},
  crossref  = {DBLP:conf/async/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/async/2002,
  title     = {8th International Symposium on Advanced Research in Asynchronous
               Circuits and Systems (ASYNC 2002), 9-11 April 2002, Manchester,
               UK},
  booktitle = {ASYNC},
  publisher = {IEEE Computer Society},
  year      = {2002},
  isbn      = {0-7695-1540-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}