Publications 1991

International Conferences

  1. Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodr\'\iguez, Joseph Sifakis. Une boîte à outils pour la vérification de programmes LOTOS. In Actes du Colloque Francophone pour l'Ingénierie des Protocoles CFIP'91 (Pau, France), Omar Rafiq (ed.), Pages 479-500, September 1991. (more) pdf
  2. Jean-Claude Fernandez, Laurent Mounier. A Tool Set for Deciding Behavioral Equivalences. In Proceedings of CONCUR'91 (Amsterdam, The Netherlands), August 1991. (more) pdf
  3. Jean-Claude Fernandez, Laurent Mounier. ``On the Fly'' Verification of Behavioural Equivalences and Preorders. In Proceedings of the 3rd Workshop on Computer-Aided Verification (Aalborg, Denmark), K. G. Larsen (ed.), July 1991. (more) pdf