Software Open Access

Artifact: Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata

André, Etienne; Arias, Jaime; Petrucci, Laure; van de Pol, Jaco


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
58
9
views
downloads
All versions This version
Views 5858
Downloads 99
Data volume 1.5 GB1.5 GB
Unique views 5151
Unique downloads 88

Share

Cite as