Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"
收藏NIAID Data Ecosystem2026-03-13 收录
数据链接：
官方服务：
资源简介：
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
