Computing Meta-transitions for Linear Transition Systems with Polynomials.

Julien Musset, Michal Rusinowitch

Browse the full FM paper archive.