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]
@article{XieB99:0, title = {Accelerating Markovian analysis of asynchronous systems using state compression}, author = {Aiguo Xie and Peter A. Beerel}, year = {1999}, doi = {10.1109/43.771173}, url = {http://doi.ieeecomputersociety.org/10.1109/43.771173}, tags = {analysis}, researchr = {https://researchr.org/publication/XieB99%3A0}, cites = {0}, citedby = {0}, journal = {IEEE Trans. on CAD of Integrated Circuits and Systems}, volume = {18}, number = {7}, pages = {869-888}, }