Zohar Manna

The Calculus Of Computation: Decision Procedures With Applications To Verification

Temporal Verification Of Reactive Systems

Mathematical Theory Of Computation

The Temporal Logic Of Reactive And Concurrent Systems

The Calculus Of Computation

Lectures On The Logic Of Computer Programming

The Logical Basis For Computer Programming, Volume 1

The Temporal Logic Of Reactive And Concurrent Systems : Specification

Temporal Verification Of Reactive Systems