1
Cover Image
A temporal proof methodology for reactive systems
by Manna, Zohar
Published 1993
Book
2
Cover Image
Models for reactivity
by Manna, Zohar
Published in Acta informatica
electronic Article
5
Cover Image
The origin of the binary-search paradigm
by Manna, Zohar
Published 1985
Book
6
Cover Image
Mathematical theory of computation
by Manna, Zohar
Published (1974)
Book
7
Cover Image
Clocked transition systems
by Manna, Zohar
Published 1996
Book
8
Cover Image
How to cook a temporal proof system for your pet language
by Manna, Zohar
Published 1982
Book
10
Cover Image
Mathematical theory of computation
by Manna, Zohar
Published 1974
Book
11
Cover Image
Completing the temporal picture
by Manna, Zohar
Published 1989
Book
12
Cover Image
The modal logic of programs
by Manna, Zohar
Published 1979
Book
13
Cover Image
Proving precedence properties: the temporal way
by Manna, Zohar
Published 1983
Book
18
Cover Image
The temporal logic of reactive and concurrent systems
by Manna, Zohar
Published 1992-
Book
20
Cover Image
Temporal Verification of Reactive Systems : Safety
by Manna, Zohar
Published 1991
eBook
Search Tools: Get RSS Feed — Email this Search