Weak Bisimulation for Fully Probabilistic Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christel Baier, Holger Hermanns. Weak Bisimulation for Fully Probabilistic Processes. In Orna Grumberg, editor, Computer Aided Verification, 9th International Conference, CAV 97, Haifa, Israel, June 22-25, 1997, Proceedings. Volume 1254 of Lecture Notes in Computer Science, pages 119-130, Springer, 1997.

This author has not been identified. Look up 'Christel Baier' in GoogleThis author has not been identified. Look up 'Holger Hermanns' in Google

runs on WebDSL