Amir Pnueli

Amir Pnueli (; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Pnueli, Amir', query time: 0.01s Refine Results
  1. 1
    Temporal verification of reactive systems : safety
    by Manna, Zohar
    Published 1995
    Other Authors:
    Book
  2. 2
    The Temporal logic of reactive and concurrent systems
    by Manna, Zohar
    Published 1992
    Other Authors:
    Book

Search Tools: