Allyx Fontaine, Akka Zemmari. Une Analyse Formelle en Coq d'un Algorithme Distribué Probabiliste résolvant le Problème du Rendez-Vous. Damien Pous and Christine Tasson.
JFLA - Journées francophones des langages applicatifs, Feb 2013, Aussois, France. 2013.
〈hal-00779700〉