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.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
CCS for OO and LP von Bakker, Jacobus W. de 1939-2012, Vink, E. P. de
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
2
Bisimulation semantics for concurrency with atomicity and action refinement von Bakker, Jacobus W. de 1939-2012, Vink, E. P. de
Veröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen … -
3
Bisimulation for probabilistic transition systems a coalgebraic approach von Vink, E. P. de
Veröffentlicht 1998Signatur: Wird geladen …
Standort: Wird geladen … -
4
Rendez-vous with metric semantics von Bakker, Jacobus W. de 1939-2012, Vink, E. P. de
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …