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

researchr

You are not signed in
Sign in
Sign up

Moshe Y. Vardi, Pierre Wolper. Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract). In Proceedings of the Sixteenth Annual ACM Symposium on Theory of Computing, 1984, Washington, D.C., USA. pages 446-456, ACM, 1984.

Abstract is missing.

runs on WebDSL