Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Automata theoretic techniques for modal logics of programs
Home
Publications
Automata theoretic techniques for modal logics of programs
Automata theoretic techniques for modal logics of programs
Moshe Y. Vardi
Moshe Y. Vardi
PW
Pierre Wolper
Pierre Wolper
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1984
conference paper
conference paper
Published by
Association for Computing Machinery (ACM)
p.
446-456
https://doi.org/10.1145/800057.808711
Abstract
No abstract available
Cited by 30 articles