- Record: found
- Abstract: not found
- Book Chapter: not found
Logics of Specification Languages
The Specification Language TLA+
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references31
- Record: found
- Abstract: not found
- Conference Proceedings: not found
The temporal logic of programs
Amir Pnueli (1977)
- Record: found
- Abstract: not found
- Book: not found
The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna, Amir Pnueli (1992)