Quantitative Simulation Games ˇ Pavol Cern´ y, Thomas A. Henzinger, and Arjun Radhakrishna IST Austria (Institute of Science and Technology, Austria) - Thomas Henzinger - Document - PDFSEARCH.IO

First Page	Meta Content
	Quantitative Simulation Games ˇ Pavol Cern´ y, Thomas A. Henzinger, and Arjun Radhakrishna IST Austria (Institute of Science and Technology, Austria) Add to Reading List Document Date: 2013-01-11 01:48:00 Open Document File Size: 242,41 KB Share Result on Facebook

Quantitative Simulation Games ˇ Pavol Cern´ y, Thomas A. Henzinger, and Arjun Radhakrishna IST Austria (Institute of Science and Technology, Austria)Add to Reading List