Showing 1 - 4 results of 4 for search 'Clarke, Edmund M.', query time: 0.02s Narrow Search
  1. 1
    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.…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Computer-Aided Verification 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
    Published 1991
    Other Authors: “…Clarke, Edmund M.…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Handbook of Model Checking
    Published 2018
    Other Authors: “…Clarke, Edmund M.…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    Verification of infinite-state systems with applications to security
    Published 2006
    Other Authors: “…Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020…”
    Click for online access
    eBook
    Save to List
    Saved in:

Search Tools: