You're currently viewing an old version of this dataset. To see the current version, click here.
Visual Analysis of Hyperproperties
Data and Resources
This dataset has no data
Cite this as
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt (2024). Dataset: Visual Analysis of Hyperproperties. https://doi.org/10.57702/z5y4f6ci
Private DOI This DOI is not yet resolvable.It is available for use in manuscripts, and will be published when the Dataset is made public.
Additional Info
| Field | Value |
|---|---|
| Created | December 3, 2024 |
| Last update | December 3, 2024 |
| Author | Tom Horak |
| More Authors |
|