Unfolding Parametric Automata.

Marcos Veloso Peixoto, Laurent Fribourg

Browse the full LATIN paper archive.