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


BibTeX Export

@software{andre_etienne_2020_4115919,
  author       = {André, Etienne and
                  Arias, Jaime and
                  Petrucci, Laure and
                  van de Pol, Jaco},
  title        = {{Artifact: Iterative Bounded Synthesis for 
                   Efficient Cycle Detection in Parametric Timed
                   Automata}},
  month        = oct,
  year         = 2020,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.4115919},
  url          = {https://doi.org/10.5281/zenodo.4115919}
}
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