Dataset Open Access
Data for paper "Zone extrapolations in parametric timed automata"
This data set comes with two zip files:
Name | Size | |
---|---|---|
artifact.zip
md5:0f9ce549ca96f260fe4b0c123f15b2d8 |
7.7 MB | Download |
results.zip
md5:bf7cf2c5f36204f3d62fa4bb0b4ae601 |
1.5 MB | Download |
All versions | This version | |
---|---|---|
Views | 75 | 75 |
Downloads | 14 | 14 |
Data volume | 58.6 MB | 58.6 MB |
Unique views | 64 | 64 |
Unique downloads | 11 | 11 |