|
[DMBJ20b]
Clemens Dubslaff, Andrey Morozov, Christel Baier and Klaus Janschek.
Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis.
In Proc. 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference.
2020.
[Presents automated reduction techniques for PRISM modelling language descriptions.]
|
|
Links:
[Google]
[Google Scholar]
|