Treffer 1 – 2 von 2 für Suche 'Kuiper, R.', Suchdauer: 0,03s 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
    Fairness assumptions for CSP in a temporal logic framework

    Fairness assumptions for CSP in a temporal logic framework von Kuiper, R., Roever, Willem-Paul de 1943-

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    An operational semantics for bonded nondeterminism equivalent to a denotational one

    An operational semantics for bonded nondeterminism equivalent to a denotational one von Kuiper, R.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: