Suchergebnisse - Kuiper, R.

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

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

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1981
    Buch


    Gespeichert in:

Suchwerkzeuge: