Symbolic Bisimulations for Probabilistic Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Peng Wu 0002' in GoogleThis author has not been identified. Look up 'Catuscia Palamidessi' in GoogleThis author has not been identified. Look up 'Huimin Lin' in Google

runs on WebDSL