DBLP Record 'conf/async/BelluominiMH99'

BibTeX

@inproceedings{DBLP:conf/async/BelluominiMH99,
  author    = {Wendy Belluomini and
               Chris J. Myers and
               H. Peter Hofstee},
  title     = {Verification of Delayed-Reset Domino Circuits Using ATACS},
  booktitle = {ASYNC},
  year      = {1999},
  pages     = {3-12},
  ee        = {http://csdl.computer.org/comp/proceedings/async/1999/0031/00/00310003abs.htm},
  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}
}