Accelerating Markovian analysis of asynchronous systems using state compression

Aiguo Xie, Peter A. Beerel. Accelerating Markovian analysis of asynchronous systems using state compression. IEEE Trans. on CAD of Integrated Circuits and Systems, 18(7):869-888, 1999. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: