Skip recommendations
Showing 1 - 3 results of 3 for search 'Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020', query time: 0.02s Refine Results
Search Tools: Suscríbete a esta búsqueda
  1. 1
    Verification of infinite-state systems with applications to security /
    Published 2006
    Other Authors: “…Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020…”
    Texto completo
    Electronic Conference Proceeding eBook
  2. 2
    Verification of infinite-state systems with applications to security /
    Published 2006
    Other Authors: “…Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020…”
    Texto completo
    Electronic Conference Proceeding eBook
  3. 3
    Model checking /
    Texto completo
    Electronic eBook