Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
Probabilistic Analysis of Large Finite State Machines
DAC, 1994.
@inproceedings{DAC-1994-HachtelMPS,
author = "Gary D. Hachtel and Enrico Macii and Abelardo Pardo and Fabio Somenzi",
booktitle = "{Proceedings of the 31st Design Automation Conference}",
doi = "10.1145/196244.196374",
isbn = "0-7803-1836-6",
pages = "270--275",
publisher = "{ACM Press}",
title = "{Probabilistic Analysis of Large Finite State Machines}",
year = 1994,
}