Checking Timed Bchi Automata Emptiness Using the Local-Time Semantics.

Frdric Herbreteau, B. Srivathsan, Igor Walukiewicz

Browse the full CONCUR paper archive.