Antichain Algorithms for Finite Automata.

Laurent Doyen, Jean-Franois Raskin

Browse the full TACAS paper archive.