Cite
Horak T, Coenen N, Metzger N, et al. Visual Analysis of Hyperproperties for Understanding Model Checking Results. IEEE Trans Vis Comput Graph. 2021;28(1):357-367doi: 10.1109/TVCG.2021.3114866.
Horak, T., Coenen, N., Metzger, N., Hahn, C., Flemisch, T., Mendez, J., Dimov, D., Finkbeiner, B., & Dachselt, R. (2022). Visual Analysis of Hyperproperties for Understanding Model Checking Results. IEEE transactions on visualization and computer graphics, 28(1), 357-367. https://doi.org/10.1109/TVCG.2021.3114866
Horak, Tom, et al. "Visual Analysis of Hyperproperties for Understanding Model Checking Results." IEEE transactions on visualization and computer graphics vol. 28,1 (2022): 357-367. doi: https://doi.org/10.1109/TVCG.2021.3114866
Horak T, Coenen N, Metzger N, Hahn C, Flemisch T, Mendez J, Dimov D, Finkbeiner B, Dachselt R. Visual Analysis of Hyperproperties for Understanding Model Checking Results. IEEE Trans Vis Comput Graph. 2022 Jan;28(1):357-367. doi: 10.1109/TVCG.2021.3114866. Epub 2021 Dec 24. PMID: 34587083.
Copy
Download .nbib