Prakash Krishnamurthy

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001

1 Prakash Krishnamurthy, Paolo A. G. Sivilotti: The Specification and Testing of Quantified Progress Properties in Distributed Systems. ICSE 2001: 201-210

2001
1		Prakash Krishnamurthy, Paolo A. G. Sivilotti: The Specification and Testing of Quantified Progress Properties in Distributed Systems. ICSE 2001: 201-210

Coauthor Index

1 Paolo A. G. Sivilotti [1]