| |
| 2005 | ||
|---|---|---|
| 4 | EE | Rance Cleaveland, S. Purushothaman Iyer, Murali Narasimha: Probabilistic temporal logics via the modal mu-calculus. Theor. Comput. Sci. 342(2-3): 316-350 (2005) |
| 1999 | ||
| 3 | Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer: Probabilistic Temporal Logics via the Modal Mu-Calculus. FoSSaCS 1999: 288-305 | |
| 2 | EE | Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer: The role of observations in probabilistic open systems. Electr. Notes Theor. Comput. Sci. 25: (1999) |
| 1997 | ||
| 1 | S. Purushothaman Iyer, Murali Narasimha: Probabilistic Lossy Channel Systems. TAPSOFT 1997: 667-681 | |
| 1 | Rance Cleaveland | [2] [3] [4] |
| 2 | S. Purushothaman Iyer (S. Purushothaman) | [1] [2] [3] [4] |