Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"
收藏NIAID Data Ecosystem2026-03-13 收录
下载链接：
https://zenodo.org/record/6806914
下载链接
链接失效反馈官方服务：
资源简介：
This is the experimental data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"
It comes in the form of two archives:
merging-artifact.zip: the whole set of benchmarks with the scripts to run
merging-artifact-FORMATS22-results.zip: all results executed 5 times
创建时间：
2022-07-26
