Murali Narasimha;S. Purushothaman Iyer
-;-
Probabilistic temporal logics via the modal mu-calculus
Theoretical Computer Science