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

Cham / Springer (2017) [Abstract, Contribution to a book, Contribution to a conference proceedings]

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

Authors

Authors

Katoen, Joost-Pieter

Identifier

  • REPORT NUMBER: RWTH-CONV-220403