Out of Control : Reducing Probabilistic Models by Control-State Elimination

Winkler, Tobias (Corresponding author); Lehmann, Johannes; Katoen, Joost-Pieter

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

In: Out of Control: Reducing Probabilistic Models by Control-State Elimination
Page(s)/Article-Nr.: 450-472

Identifier