A Note on Monitors and Bchi Automata.

Volker Diekert, Anca Muscholl, Igor Walukiewicz

Browse the full ICTAC paper archive.