Amin Soltanieh, Markus Siegle. Compositional Model Checking and Model Repair for a Class of Product Form Models. In Matthew Forshaw, Marco Gribaudo, William J. Knottenbelt, Nigel Thomas, editors, Tenth International Workshop on the Practical Application of Stochastic Modelling, PASM 2019, Milan, Italy, November 2019. Volume 353 of Electronic Notes in Theoretical Computer Science, pages 129-148, Elsevier, 2019. [doi]
Abstract is missing.