%0 Conference Proceedings
%F Krimm-Mounier-97
%A Krimm, Jean-Pierre
%A Mounier, Laurent
%T Compositional State Space Generation from Lotos Programs
%B Proceedings of TACAS'97 (Tools and Algorithms for the Construction and Analysis of Systems), Enschede, The Netherlands
%E Brinksma, Ed
%S LNCS
%I Springer-Verlag
%X 
%U http://www-verimag.imag.fr/PEOPLE/mounier/Papers/tacas97.pdf
%8 April
%D 1997
%K Model-based verification techniques