Compositional probabilistic verification through multi-objective model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu. Compositional probabilistic verification through multi-objective model checking. Inf. Comput., 232:38-65, 2013. [doi]

This author has not been identified. Look up 'Marta Z. Kwiatkowska' in GoogleThis author has not been identified. It may be one of the following persons:

Gethin J. Norman

Look up 'Gethin Norman' in GoogleThis author has not been identified. Look up 'David Parker' in GoogleThis author has not been identified. Look up 'Hongyang Qu' in Google

runs on WebDSL