Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"
收藏数据链接：
官方服务：
资源简介：
This is the experimental data for paper "Efficient Convex Zone Merging in Parametric Timed Automata" It comes in the form of two archives: <strong>merging-artifact.zip</strong>: the whole set of benchmarks with the scripts to run <strong>merging-artifact-FORMATS22-results.zip</strong>: all results executed 5 times
提供机构：
Zenodo创建时间：
2022-07-25
