Treffer 1 – 4 von 4 für Suche 'Vink, E. P. de', 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
    CCS for OO and LP

    CCS for OO and LP von Bakker, Jacobus W. de 1939-2012, Vink, E. P. de

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Bisimulation semantics for concurrency with atomicity and action refinement

    Bisimulation semantics for concurrency with atomicity and action refinement von Bakker, Jacobus W. de 1939-2012, Vink, E. P. de

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Bisimulation for probabilistic transition systems a coalgebraic approach

    Bisimulation for probabilistic transition systems a coalgebraic approach von Vink, E. P. de

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Rendez-vous with metric semantics

    Rendez-vous with metric semantics von Bakker, Jacobus W. de 1939-2012, Vink, E. P. de

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: