Optimizing Bchi Automata.

Kousha Etessami, Gerard J. Holzmann

Browse the full CONCUR paper archive.