Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization.

Bernard Boigelot, Jean-Franois Degbomont

Browse the full LATA paper archive.