Language containment of non-deterministic <i>omega</i>-automata.

Serdar Tasiran Ramin Hojati Robert K. Brayton Language containment of non-deterministic <i>omega</i>-automata. 261-277 1995 conf/charme/1995 CHARME db/conf/charme/charme1995.html#TasiranHB95