Publications 1997

Academic Journals

  1. Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier. Protocol Verification with the Aldebaran Toolset. Software Tools for Technology Transfer, 1(1):166-183, December 1997. (more) pdf

International Conferences

  1. Jean-Pierre Krimm, Laurent Mounier. Compositional State Space Generation from Lotos Programs. In Proceedings of TACAS'97 (Tools and Algorithms for the Construction and Analysis of Systems), Enschede, The Netherlands, Ed Brinksma (ed.), LNCS, Extended version with proofs available as Research Report VERIMAG RR97-01, April 1997. (more) pdf