Home / Authors / Zohar Manna, Amir Pnueli

Books by Zohar Manna, Amir Pnueli

All books by this author

2 books found
The Temporal Logic of Reactive and Concurrent Systems: Specification
The Temporal Logic of Reactive and Concurrent Systems: Spec…
By: Zohar Manna, Amir Pnueli
View Details
Temporal Verification of Reactive Systems: Safety
Temporal Verification of Reactive Systems: Safety
By: Zohar Manna, Amir Pnueli
View Details