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]

Abstract

Abstract is missing.