Showing 1 - 3 results of 3 for search 'Peled, Doron A., 1962-', query time: 0.01s Refine Results
  1. 1
    Time for Verification Essays in Memory of Amir Pnueli
    by Manna, Zohar
    Published 2010
    Other Authors: “…Peled, Doron A., 1962-…”
    Get full text
    Electronic Kit Book
  2. 2
    Model checking /
    Other Authors: “…Peled, Doron A., 1962-…”
    Book
  3. 3
    Model checking and artificial intelligence /
    Published 2008
    Other Authors: “…Peled, Doron A., 1962-…”
    Conference Proceeding Book
Search Tools: RSS Feed – Email Search