Skip recommendations
Résultat(s) 1 - 3 résultats de 3 pour la requête 'Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020', Temps de recherche: 0,03s Affiner les résultats
Outils de recherche: Suscríbete a esta búsqueda
  1. 1
    Verification of infinite-state systems with applications to security /
    Publié 2006
    Autres auteurs: “…Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020…”
    Texto completo
    Électronique Actes de congrès eBook
  2. 2
    Verification of infinite-state systems with applications to security /
    Publié 2006
    Autres auteurs: “…Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020…”
    Texto completo
    Électronique Actes de congrès eBook
  3. 3
    Model checking /
    Texto completo
    Électronique eBook