Robust SOS Specifications of Probabilistic Processes

E.D. Gebler

Research output: PhD ThesisPhD-Thesis - Research and graduation internal

206 Downloads (Pure)

Abstract

12672
Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Fokkink, Wan, Supervisor
  • D'Argenio, P.R., Co-supervisor, -
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