| |
| 2008 | ||
|---|---|---|
| 2 | EE | A. K. McIver, C. C. Morgan, C. Gonzalia: Proofs and Refutations for Probabilistic Refinement. FM 2008: 100-115 |
| 1 | EE | A. K. McIver, C. Gonzalia, E. Cohen, C. C. Morgan: Using probabilistic Kleene algebra pKA for protocol verification. J. Log. Algebr. Program. 76(1): 90-111 (2008) |
| 1 | E. Cohen | [1] |
| 2 | A. K. McIver | [1] [2] |
| 3 | C. C. Morgan | [1] [2] |