publications
previous
|
1
|
next
-
P. Mani Joseph and Jibulal Nair and I. S. Smiju and Barry M. Lunt SIGITE Conference 275-276 (2007)
-
P. Mani Joseph and Barry M. Lunt SIGITE Conference 25-30 (2006)
-
K. Mani Chandy and Joseph Kiniry and Adam Rifkin and Daniel M. Zimmerman The Journal of Supercomputing 11 101-118 (1997)
-
K. Mani Chandy and Joseph Kiniry and Adam Rifkin and Daniel M. Zimmerman Parallel Computing 24 1901-1922 (1998)
-
Mineo Takai and Rajive Bagrodia and Mario Gerla and Babak Daneshrad and Michael P. Fitz and Mani B. Srivastava and Elizabeth M. Belding-Royer and Srikanth V. Krishnamurthy and Mart Molle and Prasant Mohapatra and Ramesh R. Rao and Urbashi Mitra and Chien-Chung Shen and Joseph B. Evans TRIDENTCOM 162-171 (2005)
-
Ganesh Gopalakrishnan and Narayana Mani and Venkatesh Akella Automatic Verification Methods for Finite State Systems 374-382 (1989)
-
K. Mani Chandy and Paolo A. G. Sivilotti and Joseph Kiniry IPPS/SPDP Workshops 890-899 (1998)
previous
|
1
|
next

author
groups



