Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Raphaël Chane-Yack-Fa

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[c3]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hase/MammarFC12
- ask others
Amel Mammar, Marc Frappier, Raphaël Chane-Yack-Fa: Proving the Absence Property Pattern Using the B Method. HASE 2012: 167-170
2010
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/AsarinCV10
- ask others
Eugene Asarin, Raphaël Chane-Yack-Fa, Daniele Varacca: Fair Adversaries and Randomization in Two-Player Games. FOSSACS 2010: 64-78
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfem/FrappierFCCO10
- ask others
Marc Frappier, Benoît Fraikin, Romain Chossart, Raphaël Chane-Yack-Fa, Mohammed Ouenzar: Comparison of Model Checking Tools for Information Systems. ICFEM 2010: 581-596

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?