Aymeric Vincent

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2004

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

2003

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

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

Coauthor Index