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

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

Coauthor Index

1Paolo A. G. Sivilotti [1]

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