Peng Wu 0002, Catuscia Palamidessi, Huimin Lin. Symbolic Bisimulations for Probabilistic Systems. In Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK. pages 179-188, IEEE Computer Society, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.