Arnaud Bailly

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

3 Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl: Component composition preserving behavioral contracts based on communication traces. Theor. Comput. Sci. 363(2): 108-123 (2006)

2005

2 Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl: Component Composition Preserving Behavioural Contracts Based on Communication Traces. CIAA 2005: 54-65

2003

1 Arnaud Bailly, Isabelle Ryl, Mireille Clerbout: FIDL Spécifications formelles en IDL3. L'OBJET 9(1-2): 213-225 (2003)

	2006
3		Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl: Component composition preserving behavioral contracts based on communication traces. Theor. Comput. Sci. 363(2): 108-123 (2006)
	2005
2		Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl: Component Composition Preserving Behavioural Contracts Based on Communication Traces. CIAA 2005: 54-65
	2003
1		Arnaud Bailly, Isabelle Ryl, Mireille Clerbout: FIDL Spécifications formelles en IDL3. L'OBJET 9(1-2): 213-225 (2003)

Coauthor Index

1	Mireille Clerbout	[1] [2] [3]
2	Isabelle Simplot-Ryl (Isabelle Ryl)	[1] [2] [3]