Showing 1 - 12 results of 12 for search 'Peled, Doron', query time: 0.03s Refine Results
  1. 1
    Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings /
    Published 1999
    Other Authors: “…Peled, Doron…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    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
  3. 3
    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
  4. 4
    Time for Verification Essays in Memory of Amir Pnueli /
    Published 2010
    Other Authors: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    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
  6. 6
    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
  7. 7
    Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
    Published 2016
    Other Authors: “…Peled, Doron…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    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
  9. 9
    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
  10. 10
    Model checking /
    Other Authors: “…Peled, Doron A., 1962-…”
    Book
  11. 11
    Model checking and artificial intelligence /
    Published 2008
    Other Authors: “…Peled, Doron A., 1962-…”
    Conference Proceeding Book
  12. 12
    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