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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.