Date: 2012-01-06 05:40:55Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation | | Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UKAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 475,20 KBShare Document on Facebook
|