Three SCC-Based Emptiness Checks for Generalized Bchi Automata.

Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud

Browse the full LPAR paper archive.