Treffer 1 – 8 von 8 für Suche 'Peled, Doron 1962-', Suchdauer: 0,05s 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. 1945-2020, Grumberg, Orna, Peled, Doron 1962-

    Veröffentlicht 1999
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Interleaving set temporal logic

    Interleaving set temporal logic von Katz, Shmuel, Peled, Doron 1962-

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Model checking

    Model checking von Clarke, Edmund M. 1945-2020, Grumberg, Orna, Peled, Doron 1962-

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Defining conditional independence using collapses

    Defining conditional independence using collapses von Katz, Shmuel, Peled, Doron 1962-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Verification of distributed programs using representative interleaving sequences

    Verification of distributed programs using representative interleaving sequences von Katz, Shmuel, Peled, Doron 1962-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Model checking

    Model checking von Clarke, Edmund M. 1945-2020, Grumberg, Orna, Peled, Doron 1962-

    Veröffentlicht 2002
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Software reliability methods

    Software reliability methods von Peled, Doron 1962-

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Model checking

    Model checking von Clarke, Edmund M. 1945-2020, Grumberg, Orna, Peled, Doron 1962-

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: