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. Resource: Original Metadata. https://doi.org/10.57702/z5y4f6ci

DOI retrieved: December 3, 2024

Additional Information

Field Value
Created December 3, 2024
Last updated December 3, 2024
Format JSON