IST_Orientierungsplan_engl

First Page		Document Content
Date: 2012-03-26 04:55:17 European Research Council University of Freiburg Professor Max Planck Society Austria Europe Education Institute of Science and Technology Austria		IST_Orientierungsplan_engl Add to Reading List Source URL: ist.ac.at Download Document from Source Website File Size: 4,44 MB Share Document on Facebook

	Quantitative Simulation Games ˇ Pavol Cern´ y, Thomas A. Henzinger, and Arjun Radhakrishna IST Austria (Institute of Science and Technology, Austria) DocID: 1vpRm - View Document
	Work Address Institute of Science and Technology (IST), Austria Am Campus 1, Objekt 1, Floor 2, A-3400, Klosterneuburg, Austria e-mail: DocID: 1uFkJ - View Document
	Carrie Bernecky, Ph.D. Institute of Science and Technology Austria Am Campus 1 3400 Klosterneuburg, Austria E-mail: DocID: 1usp5 - View Document
	A Efficient and Dynamic Algorithms for Alternating Buchi ¨ Games and Maximal End-component Decomposition Krishnendu Chatterjee, IST Austria (Institute of Science and Technology Austria) DocID: 1t8yS - View Document
	Approximating the minimum cycle mean Krishnendu Chatterjee∗ IST Austria Institute of Science and Technology Klosterneuburg, Austria DocID: 1t2Ss - View Document