Model Checking Buechi Specifications.

Deian Tabakov, Moshe Y. Vardi

Browse the full LATA paper archive.