Jean-Pierre Krimm, Laurent Mounier. Compositional State Space Generation from Lotos Programs. In Ed Brinksma, editor, Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS 97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Volume 1217 of Lecture Notes in Computer Science, pages 239-258, Springer, 1997.
Abstract is missing.