Parameter Synthesis for Markov Models: Prophesy and model files
收藏NIAID Data Ecosystem2026-03-14 收录
下载链接：
https://zenodo.org/record/7697153
下载链接
链接失效反馈官方服务：
资源简介：
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 ARTEFACT.md.
创建时间：
2023-03-04
