Treffer 1 – 10 von 10 für Suche 'Sellink, Alex', 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
    Computer aided verification of protocols the type theoretic approach = Computer-ondersteund verifiëren van protocollen

    Computer aided verification of protocols the type theoretic approach = Computer-ondersteund verifiëren van protocollen von Sellink, Alex

    Veröffentlicht 1996
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Formalising LPOs and invariants in Coq

    Formalising LPOs and invariants in Coq von Korver, Henri P., Sellink, Alex

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Verifying process algebra proofs in type theory

    Verifying process algebra proofs in type theory von Sellink, Alex

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Computer aided verification of protocols the type theoretic approach = Computer-ondersteund verifiëren van protocollen

    Computer aided verification of protocols the type theoretic approach = Computer-ondersteund verifiëren van protocollen von Sellink, Alex

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Confluence for process verification

    Confluence for process verification von Groote, Jan F., Sellink, Alex

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Proof-checking a data link protocol

    Proof-checking a data link protocol von Helmink, L., Sellink, Alex, Vaandrager, Frits W.

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    On automating process algebra proofs

    On automating process algebra proofs von Korver, Henri P., Sellink, Alex

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Proof-checking a data link protocol

    Proof-checking a data link protocol von Helmink, L., Sellink, Alex, Vaandrager, F. W.

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Verifying modal formulas over I/0-automata by means of type theory

    Verifying modal formulas over I/0-automata by means of type theory von Sellink, Alex

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications Amsterdam, 25 - 26 September 1997

    Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications Amsterdam, 25 - 26 September 1997

    Veröffentlicht 1998
    Weitere Verfasser: “… Sellink, Alex …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: