Compositional State Space Generation from Lotos Programs (1997)
by
Jean-pierre Krimm
,
Laurent Mounier
| Venue: | In Proceedings of TACAS'97 |
| Citations: | 26 - 3 self |







