Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"
From MaRDI portal
DOI10.5281/zenodo.6806915Zenodo6806915MaRDI QIDQ6705353
Dataset published at Zenodo repository.
Author name not available (Why is that?)
Publication date: 7 July 2022
Copyright license: No records found.
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
This page was built for dataset: Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"
