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.
Download paper:
Adobe portable document (pdf)
Copyright notice:
[ Model-based verification techniques ]
@InProceedings{Krimm-Mounier-97,
Author = {Krimm, Jean-Pierre and Mounier, Laurent},
Title = {Compositional State Space Generation from Lotos Programs},
BookTitle = {Proceedings of TACAS'97 (Tools and Algorithms for the Construction and Analysis of Systems), Enschede, The Netherlands},
editor = {Brinksma, Ed},
Series = {LNCS},
Publisher = {Springer-Verlag},
Month = {April},
Year = {1997}
}
Get EndNote Reference (.ref)