Robust SOS Specifications of Probabilistic Processes

E.D. Gebler

Research output: PhD ThesisPhD Thesis - Research VU Amsterdam, graduation VU Amsterdam

100 Downloads (Pure)


Original languageEnglish
Awarding Institution
  • Vrije Universiteit Amsterdam
  • Fokkink, Wan, Supervisor
  • D'Argenio, P.R., Co-supervisor, External person
Award date13 Nov 2015
Print ISBNs9789053831694
Publication statusPublished - 2015

Bibliographical note

Exacte Wetenschappen
Naam instelling promotie: VU University
Naam instelling onderzoek: VU University

Fingerprint Dive into the research topics of 'Robust SOS Specifications of Probabilistic Processes'. Together they form a unique fingerprint.

Cite this