Tweaking The Odds: Parameter Synthesis in Markov Models (Abstract)

Cham / Springer (2017) [Abstract, Buchbeitrag, Beitrag zu einem Tagungsband]

Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, proceedings / edited by Dang Van Hung, Deepak Kapur
Seite(n): [XVI]-XVII

Autorinnen und Autoren

Autorinnen und Autoren

Katoen, Joost-Pieter

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-220403