Parameter Synthesis for Markov Models: Prophesy and model files
收藏NIAID Data Ecosystem2026-03-14 收录
数据链接：
官方服务：
资源简介：
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
