Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
The temporal logic of branching time
Home
Publications
The temporal logic of branching time
The temporal logic of branching time
MB
Mordechai Ben-Ari
Mordechai Ben-Ari
Zohar Manna
Zohar Manna
Amir Pnueli
Amir Pnueli
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1981
conference paper
Published by
Association for Computing Machinery (ACM)
https://doi.org/10.1145/567532.567551
Abstract
No abstract available
Cited by 93 articles