Alain Griffault

	2004
3		Alain Griffault, Aymeric Vincent: The Mec 5 Model-Checker. CAV 2004: 488-491
	1999
2		André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy: The AltaRica Formalism for Describing Concurrent Systems. Fundam. Inform. 40(2-3): 109-124 (1999)
	1993
1		Marc-Michel Corsini, Alain Griffault, Antoine Rauzy: Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. LPAR 1993: 86-97

Coauthor Index

1	André Arnold	[2]
2	Marc-Michel Corsini	[1]
3	Gérald Point	[2]
4	Antoine Rauzy	[1] [2]
5	Aymeric Vincent	[3]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page