Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract)

Moshe Y. Vardi, Pierre Wolper

Browse the full STOC paper archive.