Decomposition of Automata Recognizing Ideals.

Mathias Berry, Pierre-Cyrille Ham, Ismal Jecker

Browse the full CONCUR paper archive.