Back to Results
First PageMeta Content
Mathematics / 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 overvi
Add to Reading List

Document Date: 2011-06-22 09:34:32


Open Document

File Size: 1,01 MB

Share Result on Facebook
UPDATE