| |
| 1995 | ||
|---|---|---|
| 3 | Ufuk Celikkan, Rance Cleaveland: Generating Diagnostic Information for Behavioral Preorders. Distributed Computing 9(2): 61-75 (1995) | |
| 1992 | ||
| 2 | Ufuk Celikkan, Rance Cleaveland: Generating Diagnostic Information for Behavioral Preorders. CAV 1992: 370-383 | |
| 1 | Ufuk Celikkan, Rance Cleaveland: Computing Diagnostic Test for Incorrect Processes. PSTV 1992: 263-277 | |
| 1 | Rance Cleaveland | [1] [2] [3] |