Publications 1992

Academic Journals

  1. Jean-CLaude Fernandez, Claude Jard, Thierry Jéron, Laurent Mounier. `On the Fly'' Verification of Finite Transition Systems. Formal Methods in System Design, 1992. (more) pdf

International Conferences

  1. Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodr\'\iguez, Joseph Sifakis. A Toolbox for the Verification of LOTOS Programs. In Proceedings of the 14th International Conference on Software Engineering ICSE'14 (Melbourne, Australia), Lori A. Clarke (ed.), Pages 246-259, May 1992. (more) pdf