dblp.uni-trier.dewww.uni-trier.de

Murali Narasimha

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
4EERance 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
2EEMurali 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

Coauthor Index

1Rance Cleaveland [2] [3] [4]
2S. Purushothaman Iyer (S. Purushothaman) [1] [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)