Treffer 1 – 18 von 18 für Suche 'Korver, Henri P.', 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
    On automating process algebra proofs

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

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A formal axiomatization for alphabet reasoning with parametrized processes

    A formal axiomatization for alphabet reasoning with parametrized processes von Korver, Henri P.

    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., Korver, Henri P.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A correctness proof of the bakery protocol in CRL

    A correctness proof of the bakery protocol in CRL von Groote, Jan F., Korver, Henri P.

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A correctness proof of the bakery protocol in mCRL

    A correctness proof of the bakery protocol in mCRL von Groote, Jan F., Korver, Henri P.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Computing distinguishing formulas for branching bisimulation

    Computing distinguishing formulas for branching bisimulation von Korver, Henri P.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    The current state of bisimulation tools

    The current state of bisimulation tools von Korver, Henri P.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Building a simulator in the myCRL toolbox a case study in modern software engineering

    Building a simulator in the myCRL toolbox a case study in modern software engineering von Korver, Henri P.

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    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:
  10. 10
    A computer-checked verification of Milner's scheduler

    A computer-checked verification of Milner's scheduler von Korver, Henri P., Springintveld, Jan

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    A theory for simulator tools

    A theory for simulator tools von Korver, Henri P.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    A computer checked verification of Milner's scheduler

    A computer checked verification of Milner's scheduler von Korver, Henri P.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    The Bakery Protocol a comparative case-study in formal verification

    The Bakery Protocol a comparative case-study in formal verification von Griffioen, David, Korver, Henri P.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    A theory for simulator tools

    A theory for simulator tools von Korver, Henri P.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    A computer-checked verification of Milner's scheduler

    A computer-checked verification of Milner's scheduler von Korver, Henri P., Springintveld, Jan

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Detecting feature interactions with Caesar/Aldébaran

    Detecting feature interactions with Caesar/Aldébaran von Korver, Henri P.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Detecting feature interactions with Caesar, Aldébaran

    Detecting feature interactions with Caesar, Aldébaran von Korver, Henri P.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    The current state of bisimulation tools H. P. Korver

    The current state of bisimulation tools H. P. Korver von Korver, Henri P.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: