Parameter Synthesis for Markov Models: Prophesy and model files
收藏数据链接：
官方服务：
资源简介：
This artefact contains the Prophesy tool and all model files used for the evaluation in Sect. 11 of the paper "Parameter Synthesis for Markov Models". Further information can be found in the <em>ARTEFACT.md</em>.
提供机构：
Zenodo创建时间：
2023-03-03
