Compositional Quantitative Reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga. Compositional Quantitative Reasoning. In Third International Conference on the Quantitative Evaluaiton of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA. pages 179-188, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Krishnendu Chatterjee' in GoogleThis author has not been identified. Look up 'Luca de Alfaro' in GoogleThis author has not been identified. Look up 'Marco Faella' in GoogleThis author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. Look up 'Rupak Majumdar' in GoogleThis author has not been identified. Look up 'Mariëlle Stoelinga' in Google

runs on WebDSL