Pierre-Olivier Ribet

	2003
2		Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert: Towards the verification of real-time systems in avionics: the Cotre approach. Electr. Notes Theor. Comput. Sci. 80: (2003)
	2002
1		Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu: On Combining the Persistent Sets Method with the Covering Steps Graph Method. FORTE 2002: 344-359

Coauthor Index

1	J. L. Bernartt	[2]
2	Bernard Berthomieu	[1] [2]
3	Jean-Paul Bodeveix	[2]
4	Pierre Dissaux	[2]
5	Patrick Farail	[2]
6	Jean-Marie Farines	[2]
7	Mamoun Filali	[2]
8	Pierre Gauffilet	[2]
9	Jean-Luc Lambert	[2]
10	Pierre Michel	[2]
11	Gérard Padiou	[2]
12	François Vernadat	[1] [2]