Dataset Open Access
Étienne André;
Dylan Marinho;
Laure Petrucci;
Jaco van de Pol
This is the experimental data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"
It comes in the form of two archives:
Name | Size | |
---|---|---|
merging-artifact-FORMATS22-results.zip
md5:8a3a98d39128c111db8aec4b51dc6ed6 |
53.8 MB | Download |
merging-artifact.zip
md5:06788564c469ce4342f52bb21e115302 |
8.7 MB | Download |
All versions | This version | |
---|---|---|
Views | 31 | 31 |
Downloads | 3 | 3 |
Data volume | 116.2 MB | 116.2 MB |
Unique views | 27 | 27 |
Unique downloads | 2 | 2 |