Searching for "Automata-Theoretic Techniques for Modal Logics of Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

unknown title
by S. On, In Proc, Annual Symposium
… Design 1 (1992) 297-322. [27] Vardi, M. Y., Wolper, P.: Automata-theoretic techniques for modal logics…
Add To MetaCart

Document d'Habilitation `a Diriger des Recherches Universit'e Joseph Fourier Syst`emes Discrets, Temporis'es et Hybrides
by Oded Maler May
… Techniques in Modal Logics of Programs, J. of Computer and Systems Science 32, 183-221, 1986. My Papers [P…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB