Markovian Analysis of Large Finite State Machines (1996)

by Gary D Hatchel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
Venue:IEEE Transactions on CAD