Visual Analysis of Hyperproperties
Data and Resources
-
Original MetadataJSON
The json representation of the dataset with its distributions based on DCAT.
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
DOI retrieved: December 3, 2024
Additional Info
| Field | Value |
|---|---|
| Created | December 3, 2024 |
| Last update | December 3, 2024 |
| Author | Tom Horak |
| More Authors |
|