|
Search the dblp DataBase
Pierre-Olivier Ribet:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu
On Combining the Persistent Sets Method with the Covering Steps Graph Method. [Citation Graph (0, 0)][DBLP] FORTE, 2002, pp:344-359 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
Search in 0.001secs, Finished in 0.001secs
|