gefundene Verfasser de Vink, E. P.

Vink, E. P. de
Bakker, Jacobus W. de 1939-2012
Argenta, Nancy 1957-
Claessens, Huub 1960-
Collegium Compostellanum
Alle anzeigen »
Da Ponte, Lorenzo 1749-1838
FM Oxford
FloC
Havelund, Klaus 1955-
Högman, Christina 1956-

Treffer 1 - 6 von 6 für Suche 'de Vink, E. P.', Suchdauer: 4,85s Treffer weiter einschränken
  1. 1
    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

    Zu den Favoriten
    Gespeichert in:
  2. 2
    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

    Zu den Favoriten
    Gespeichert in:
  3. 3
    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

    Zu den Favoriten
    Gespeichert in:
  4. 4
    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

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Formal methods 22nd International Symposium, FM 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings

    Formal methods 22nd International Symposium, FM 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings

    Veröffentlicht 2018

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Don Giovanni K527 Dramma giocoso in two acts

    Don Giovanni K527 Dramma giocoso in two acts von Mozart, Wolfgang Amadeus 1756-1791

    Veröffentlicht 2019
    CD Audio Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: