Showing 1 - 7 results of 7 for search 'Manna, Zohar', query time: 0.11s Refine Results
  1. 1
    Time for Verification Essays in Memory of Amir Pnueli
    by Manna, Zohar
    Published 2010
    Get full text
    Electronic Kit Book
  2. 2
    Mathematical theory of computation
    by Manna, Zohar
    Published 2003
    Book
  3. 3
    Mathematical theory of computation
    by Manna, Zohar
    Published 1974
    Book
  4. 4
    The temporal logic of reactive and concurrent systems specification
    by Manna, Zohar, Pnueli, Amir
    Published 1992
    Book
  5. 5
    Temporal verification of reactive systems Safety
    by Manna, Zohar, Pnueli, Amir
    Published 1995
    Book
  6. 6
    The Calculus of Computation Decision Procedures with Applications to Verification /
    by Bradley, Aaron R., Manna, Zohar
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Time for Verification Essays in Memory of Amir Pnueli /
    Published 2010
    Other Authors: “…Manna, Zohar…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search