Games and Synthesis Nir Piterman University of Leicester Telč, July-Autugst 2014 Games and Synthesis, EATCS Young Researchers School, Telč, Summer 2014

First Page		Document Content
Date: 2014-08-25 12:26:55 Theoretical computer science European Association for Theoretical Computer Science Fellows of the Royal Society Model checking Alan Turing		Games and Synthesis Nir Piterman University of Leicester Telč, July-Autugst 2014 Games and Synthesis, EATCS Young Researchers School, Telč, Summer 2014 Add to Reading List Source URL: eatcs-school.fi.muni.cz Download Document from Source Website File Size: 4,01 MB Share Document on Facebook