MPG.eBooks - Author Search Results

Zohar Manna

Zohar Manna (1939 – 30 August 2018) was an Israeli-American computer scientist who was a professor of computer science at Stanford University. Provided by Wikipedia

Cover Image

1

The Temporal Logic of Reactive and Concurrent Systems : Specification

by Manna, Zohar, Pnueli, Amir
Published 1992

Springer New York

Cover Image

2

Temporal Verification of Reactive Systems : Safety

by Manna, Zohar, Pnueli, Amir
Published 1995

Springer New York

Cover Image

3

The Calculus of Computation : Decision Procedures with Applications to Verification

by Bradley, Aaron R., Manna, Zohar
Published 2007

Springer Berlin Heidelberg

Cover Image

4

Time for Verification : Essays in Memory of Amir Pnueli

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Manna, Zohar...”