BibTeX record conf/eurodac/Damiani94

download as .bib file

@inproceedings{DBLP:conf/eurodac/Damiani94,
  author       = {Maurizio Damiani},
  editor       = {Robert Werner},
  title        = {Nondeterministic finite-state machines and sequential \emph{don't
                  cares}},
  booktitle    = {{EDAC} - The European Conference on Design Automation, {ETC} - European
                  Test Conference, {EUROASIC} - The European Event in {ASIC} Design,
                  Proceedings, February 28 - March 3, 1994, Paris, France},
  pages        = {192--198},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/EDTC.1994.326877},
  doi          = {10.1109/EDTC.1994.326877},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/eurodac/Damiani94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics