Date: 2012-05-10 09:21:59Mathematics 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: www.prismmodelchecker.orgDownload Document from Source Website File Size: 475,20 KBShare Document on Facebook
|