Parametric probabilistic transition systems for system design and analysis
scientific article; zbMATH DE number 5145023
scientific article