Showing 1 - 4 results of 4 for search 'Clarke, Edmund M.', query time: 0.02s Refine Results
  1. 1
    Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
    Get full text
    Electronic Kit Book
  2. 2
    Model checking /
    Book
  3. 3
    Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers /
    Published 2010
    Other Authors: “…Clarke, Edmund M.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Handbook of Model Checking
    Published 2018
    Other Authors: “…Clarke, Edmund M.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search