Aymeric Vincent

List of publications from the DBLP Bibliography Server - FAQ

2004

2 EE Alain Griffault, Aymeric Vincent: The Mec 5 Model-Checker. CAV 2004: 488-491

2003

1 EE André Arnold, Aymeric Vincent, Igor Walukiewicz: Games for synthesis of controllers with partial observation. Theor. Comput. Sci. 1(303): 7-34 (2003)

2004
2	EE	Alain Griffault, Aymeric Vincent: The Mec 5 Model-Checker. CAV 2004: 488-491
2003
1	EE	André Arnold, Aymeric Vincent, Igor Walukiewicz: Games for synthesis of controllers with partial observation. Theor. Comput. Sci. 1(303): 7-34 (2003)

Coauthor Index