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 = {Proceedings of the 30th Design Automation Conference. Dallas, Texas,
               USA, June 14-18, 1993},
  pages     = {2--6},
  year      = {1993},
  crossref  = {DBLP:conf/dac/1993},
  url       = {https://doi.org/10.1145/157485.157569},
  doi       = {10.1145/157485.157569},
  timestamp = {Tue, 06 Nov 2018 16:58:15 +0100},
  biburl    = {https://dblp.org/rec/conf/dac/ChuML93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/1993,
  editor    = {Alfred E. Dunlop},
  title     = {Proceedings of the 30th Design Automation Conference. Dallas, Texas,
               USA, June 14-18, 1993},
  publisher = {{ACM} Press},
  year      = {1993},
  url       = {http://dl.acm.org/citation.cfm?id=157485},
  isbn      = {0-89791-577-1},
  timestamp = {Fri, 14 May 2021 22:24:25 +0200},
  biburl    = {https://dblp.org/rec/conf/dac/1993.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics