@inproceedings{KM97,
title = {Compositional State Space Generation from Lotos Programs },
author = {Krimm, Jean-Pierre and Mounier, Laurent},
month = {April},
year = {1997},
booktitle = {Proceedings of TACAS'97 (Tools and Algorithms for the Construction and Analysis of Systems), Enschede, The Netherlands},
publisher = {Springer-Verlag},
series = {LNCS},
team = {DCS,PACSS},
}