Model-Checking Real-Time Systems: Revisiting the Alternating Automaton Route.

Patricia Bouyer, B. Srivathsan, Vaishnavi Vishwanath

Browse the full FOSSACS paper archive.