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

    The temporal logic of reactive and concurrent systems / by Manna, Zohar

    Published 1992
    Other Authors: “…Pnueli, Amir…”
    Publisher description
    Book
  2. 2

    Temporal verification of reactive systems : safety / by Manna, Zohar

    Published 1995
    Other Authors: “…Pnueli, Amir…”
    Book