Roméo Courbis

	2011
5		Roméo Courbis: Rewriting Approximations for Properties Verification over CCS Specifications. FSEN 2011: 299-315
	2009
4		Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: TAGED Approximations for Temporal Properties Model-Checking. CIAA 2009: 135-144
3		Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: Handling Non Left-Linear Rules when Completing Tree Automata. Int. J. Found. Comput. Sci. 20(5): 837-849 (2009)
	2008
2		Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: Finer Is Better: Abstraction Refinement for Rewriting Approximations. RTA 2008: 48-62
1		Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: Handling Left-Quadratic Rules When Completing Tree Automata. Electr. Notes Theor. Comput. Sci. 223: 61-70 (2008)

Coauthor Index

1	Yohan Boichut	[1] [2] [3]
2	Pierre-Cyrille Héam	[1] [2] [3] [4]
3	Olga Kouchnarenko	[1] [2] [3] [4]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page