C. Gonzalia

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

2 A. K. McIver, Carroll C. Morgan, C. Gonzalia: Proofs and Refutations for Probabilistic Refinement. FM 2008: 100-115

1 A. K. McIver, C. Gonzalia, E. Cohen, Carroll C. Morgan: Using probabilistic Kleene algebra pKA for protocol verification. J. Log. Algebr. Program. 76(1): 90-111 (2008)

	2008
2		A. K. McIver, Carroll C. Morgan, C. Gonzalia: Proofs and Refutations for Probabilistic Refinement. FM 2008: 100-115
1		A. K. McIver, C. Gonzalia, E. Cohen, Carroll 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 Annabelle McIver (A. K. McIver) [1] [2]

3 Carroll Morgan (Carroll C. Morgan) [1] [2]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	E. Cohen	[1]
2	Annabelle McIver (A. K. McIver)	[1] [2]
3	Carroll Morgan (Carroll C. Morgan)	[1] [2]