Airy Weinzoepflen

	2002
1		Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen: Incremental Proof of the Producer/Consumer Property for the PCI Protocol. ZB 2002: 22-41

Coauthor Index

1	Dominique Cansell	[1]
2	Ganesh Gopalakrishnan	[1]
3	Michael D. Jones	[1]
4	Dominique Méry	[1]