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

Richard Alan Karp

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

1984
3EERichard Alan Karp: Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic. ACM Trans. Program. Lang. Syst. 6(2): 239-253 (1984)
1976
2 Richard Alan Karp, David C. Luckham: Verification of Fairness in an Implementation of Monitors. ICSE 1976: 40-46
1975
1 Richard Alan Karp: A Reply to Gentleman and Marovich. Commun. ACM 18(3): 174 (1975)

Coauthor Index

1David C. Luckham [2]

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