Probabilistic Model Checking Modulo Theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Björn Wachter, Lijun Zhang, Holger Hermanns. Probabilistic Model Checking Modulo Theories. In Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK. pages 129-140, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Björn Wachter' in GoogleThis author has not been identified. It may be one of the following persons:

Lijun Zhang

Look up 'Lijun Zhang' in GoogleThis author has not been identified. Look up 'Holger Hermanns' in Google

runs on WebDSL