Compositional State Space Generation from Lotos Programs.

Jean-Pierre Krimm, Laurent Mounier

Browse the full TACAS paper archive.