Quantitative Simulation Games - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna. Quantitative Simulation Games. In Zohar Manna, Doron Peled, editors, Time for Verification, Essays in Memory of Amir Pnueli. Volume 6200 of Lecture Notes in Computer Science, pages 42-60, Springer, 2010. [doi]

This author has not been identified. Look up 'Pavol Cerný' in GoogleThis author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. Look up 'Arjun Radhakrishna' in Google

runs on WebDSL