Showing 1 - 10 results of 10 for search 'Peled, Doron A.', query time: 0.03s 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
    Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings /
    Published 2004
    Other Authors: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Time for Verification Essays in Memory of Amir Pnueli /
    Published 2010
    Other Authors: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /
    Published 2009
    Other Authors: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings /
    Published 2002
    Other Authors: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
    Published 2009
    Other Authors: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings /
    Published 2005
    Other Authors: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Model checking /
    Other Authors: “…Peled, Doron A., 1962-…”
    Book
  9. 9
    Model checking and artificial intelligence /
    Published 2008
    Other Authors: “…Peled, Doron A., 1962-…”
    Conference Proceeding Book
  10. 10
    Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
    Published 2008
    Other Authors: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search