Roméo Courbis

	2009
3		Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: TAGED Approximations for Temporal Properties Model-Checking. CIAA 2009: 135-144
	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]
2	Pierre-Cyrille Héam	[1] [2] [3]
3	Olga Kouchnarenko	[1] [2] [3]