Inclusion Testing of Bchi Automata Based on Well-Quasiorders.

Kyveli Doveri, Pierre Ganty, Francesco Parolini, Francesco Ranzato

Browse the full CONCUR paper archive.