BibTeX record conf/dac/ChuML93

download as .bib file

@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}},
  pages     = {2--6},
  publisher = {{ACM} Press},
  year      = {1993}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics