BibTeX record conf/eurodac/HachtelMPS94

• > Home > conf/eurodac/HachtelMPS94

@inproceedings{DBLP:conf/eurodac/HachtelMPS94,
  author       = {Gary D. Hachtel and
                  Enrico Macii and
                  Abelardo Pardo and
                  Fabio Somenzi},
  editor       = {Robert Werner},
  title        = {Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite
                  State Machine},
  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        = {214--218},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/EDTC.1994.326875},
  doi          = {10.1109/EDTC.1994.326875},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/eurodac/HachtelMPS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}