%0 Journal Article %1 journals/tcad/HachtelMPS96 %A Hachtel, Gary D. %A Macii, Enrico %A Pardo, Abelardo %A Somenzi, Fabio %D 1996 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 12 %P 1479-1493 %T Markovian analysis of large finite state machines. %U http://dblp.uni-trier.de/db/journals/tcad/tcad15.html#HachtelMPS96 %V 15

@article{journals/tcad/HachtelMPS96, added-at = {2020-09-24T00:00:00.000+0200}, author = {Hachtel, Gary D. and Macii, Enrico and Pardo, Abelardo and Somenzi, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/25803a346ece1b4e044f0e58c7f5e53a6/dblp}, ee = {https://doi.org/10.1109/43.552081}, interhash = {29b088bd6e7a0b2a11010c29f83978cd}, intrahash = {5803a346ece1b4e044f0e58c7f5e53a6}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 12, pages = {1479-1493}, timestamp = {2020-09-25T11:46:00.000+0200}, title = {Markovian analysis of large finite state machines.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad15.html#HachtelMPS96}, volume = 15, year = 1996 }