Symbolic Automata: The Toolkit.

Margus Veanes, Nikolaj S. Bjrner

Browse the full TACAS paper archive.