![Greek letters / Timed automaton / Symbol / Zeta Greek letters / Timed automaton / Symbol / Zeta](https://www.pdfsearch.io/img/0260a8bf18b1f77dddbb0682747c96a8.jpg) Date: 2010-06-15 16:26:37Greek letters Timed automaton Symbol Zeta | | Expected Reachability-Time Games Vojtˇech Forejt1 , Marta Kwiatkowska2 , Gethin Norman3 , and Ashutosh Trivedi2 1 Faculty of Informatics, Masaryk University, Botanick´a 68a, Brno, Czech Republic Oxford University CompuAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 433,70 KBShare Document on Facebook
|