Yvan Roux

	2008
3		Pascal Raymond, Yvan Roux, Erwan Jahier: Specifying and Executing Reactive Scenarios With Lutin. Electr. Notes Theor. Comput. Sci. 203(4): 19-34 (2008)
	2006
2		Pascal Raymond, Erwan Jahier, Yvan Roux: Describing and Executing Random Reactive Systems. SEFM 2006: 216-225
	2002
1		Pascal Raymond, Yvan Roux: Describing Non-Deterministic Reactive Systems by Means of Regular Expressions. Electr. Notes Theor. Comput. Sci. 65(5): (2002)

Coauthor Index

1	Erwan Jahier	[2] [3]
2	Pascal Raymond	[1] [2] [3]