Showing 1 - 6 results of 6 for search 'Bouajjani, Ahmed', query time: 0.02s Refine Results
  1. 1
    Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
    by Bouajjani, Ahmed
    Published 2010
    Get full text
    Electronic Kit Book
  2. 2
    Networked Systems Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers /
    Published 2015
    Other Authors: “…Bouajjani, Ahmed…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
    Published 2017
    Other Authors: “…Bouajjani, Ahmed…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
    Published 2009
    Other Authors: “…Bouajjani, Ahmed…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
    Published 2017
    Other Authors: “…Bouajjani, Ahmed…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings /
    Published 2010
    Other Authors: “…Bouajjani, Ahmed…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search