Computing Meta-transitions for Linear Transition Systems with Polynomials. - Julien Musset; Michaël Rusinowitch (FME, 2003)

Approximation de relations de transition : application à la vérification de systèmes infinis. - Julien Musset (2003)