DBLP Record 'conf/dac/ChuML93'

BibTeX

@inproceedings{DBLP:conf/dac/ChuML93,
  author    = {Tam Anh Chu and
               Narayana Mani and
               Clement K. C. Leung},
  title     = {An Efficient Critical Race-Free State Assignment Technique
               for Asynchronous Finite State Machines},
  booktitle = {DAC},
  year      = {1993},
  pages     = {2-6},
  ee        = {http://doi.acm.org/10.1145/157485.157569},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}