Dataset Open Access

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: Results and Replication

Arnd Hartmanns; Tim Quatmann


BibTeX Export

@dataset{arnd_hartmanns_2019_2628302,
  author       = {Arnd Hartmanns and
                  Tim Quatmann},
  title        = {{The 2019 Comparison of Tools for the Analysis of 
                   Quantitative Formal Models: Results and
                   Replication}},
  month        = apr,
  year         = 2019,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.2628302},
  url          = {https://doi.org/10.5281/zenodo.2628302}
}
131
18
views
downloads
All versions This version
Views 131131
Downloads 1818
Data volume 338.9 MB338.9 MB
Unique views 114114
Unique downloads 1717

Share

Cite as