Treffer 1 – 4 von 4 für Suche 'Griffioen, W. O. D.', Suchdauer: 0,04s 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
    Proof-checking an audio control protocol with LP

    Proof-checking an audio control protocol with LP von Griffioen, W. O. D.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Proof checking an audio control protocol with LP

    Proof checking an audio control protocol with LP von Griffioen, W. O. D.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    The bakery protocol a comparative case study in formal verification

    The bakery protocol a comparative case study in formal verification von Griffioen, W. O. D.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    The bakery protocol a comparative case-study in formal verification

    The bakery protocol a comparative case-study in formal verification von Griffioen, W. O. D., Korver, Henri P.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: