Automata-theoretic techniques for modal logics of programs
Work
Year: 1986
Type: article
Authors Moshe Y. Vardi, Pierre Wolper
Institutions IBM (United States), University of Liège
Cites: 24
Cited by: 533
Related to: 10
FWCI: 7.678
Citation percentile (by year/subfield): 99.98
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: closed