Compositional Minimization of Finite State Systems.

Susanne Graf, Bernhard Steffen

Browse the full CAV paper archive.