Back to Results
First PageMeta Content
Theoretical computer science / Temporal logic / Model theory / Linear temporal logic / Logic in computer science / Probabilistic logic / Probabilistic bisimulation / Interpretation / Substitution / Logic / Mathematical logic / Non-classical logic


Probabilistic Temporal Logics via the Modal Mu-Calculus Rance Cleaveland a S. Purushothaman Iyer b Murali Narasimha c a
Add to Reading List

Document Date: 2006-02-09 15:25:09

Open Document

File Size: 349,04 KB

Share Result on Facebook
UPDATE