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

Katoen, Joost-Pieter

Cham : Springer (2017)
Abstract, Contribution to a book, Contribution to a conference proceedings

In: 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)/Article-Nr.: [XVI]-XVII

Identifier

Sources