A. K. McIver

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)

Coauthor Index

1	E. Cohen	[1]
2	C. Gonzalia	[1] [2]
3	C. C. Morgan	[1] [2]