Treffer 1 – 2 von 2 für Suche 'Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Model checking /

    Model checking / von Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020, Grumberg, Orna, Peled, Doron A., 1962-

    Veröffentlicht 1999
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Verification of infinite-state systems with applications to security /

    Verification of infinite-state systems with applications to security /

    Veröffentlicht 2006
    Weitere Verfasser: “… Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: