Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
The Temporal Logic of Reactive and Concurrent Systems
Home
Publications
The Temporal Logic of Reactive and Concurrent Systems
The Temporal Logic of Reactive and Concurrent Systems
ZM
Zohar Manna
Zohar Manna
AP
Amir Pnueli
Amir Pnueli
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1992
book
Published by
Springer Science and Business Media LLC
https://doi.org/10.1007/978-1-4612-0931-7
Abstract
No abstract available
Cited by 1454 articles