Online Determinization of Large Mutating Automata.

Giovanni Caniato, Gianfranco Lamperti

Browse the full KES paper archive.