Model Checking Markov Chains with Actions and State Labels - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle. Model Checking Markov Chains with Actions and State Labels. IEEE Trans. Software Eng., 33(4):209-224, 2007. [doi]

This author has not been identified. Look up 'Christel Baier' in GoogleThis author has not been identified. Look up 'Lucia Cloth' in GoogleThis author has not been identified. Look up 'Boudewijn R. Haverkort' in GoogleThis author has not been identified. Look up 'Matthias Kuntz' in GoogleThis author has not been identified. Look up 'Markus Siegle' in Google

runs on WebDSL