Suchergebnisse - Peled, Doron 1962-

  • Treffer 1 – 8 von 8
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1999
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2002
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Software reliability methods
    von Peled, Doron 1962-

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 2000
    Buch


    Gespeichert in:

Suchwerkzeuge: