Parameter synthesis in Markov models

Aachen (2020) [Doktorarbeit]

Seite(n): 1 Online-Ressource (xv, 371 Seiten) : Illustrationen

Autorinnen und Autoren

Autorinnen und Autoren

Junges, Sebastian

Gutachterinnen und Gutachter

Katoen, Joost-Pieter
Abate, Alessandro
Esparza, Javier