Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata" (Q6705353)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata" |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata" |
Dataset published at Zenodo repository. |
Statements
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
0 references
7 July 2022
0 references
1.0
0 references
