Date: 2011-06-22 09:34:32Mathematics Temporal logic Mathematical analysis Mathematical logic Formal languages Model theory Generalized functions Computation tree logic Logic in computer science Linear temporal logic Interpretation IP | | Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overviAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 1,01 MBShare Document on Facebook
|