%0 Journal Article %1 journals/tvcg/HorakCMHFMDFD22 %A Horak, Tom %A Coenen, Norine %A Metzger, Niklas %A Hahn, Christopher %A Flemisch, Tamara %A Méndez, Julián %A Dimov, Dennis %A Finkbeiner, Bernd %A Dachselt, Raimund %D 2022 %J IEEE Trans. Vis. Comput. Graph. %K dblp %N 1 %P 357-367 %T Visual Analysis of Hyperproperties for Understanding Model Checking Results. %U http://dblp.uni-trier.de/db/journals/tvcg/tvcg28.html#HorakCMHFMDFD22 %V 28

@article{journals/tvcg/HorakCMHFMDFD22, added-at = {2024-02-05T00:00:00.000+0100}, author = {Horak, Tom and Coenen, Norine and Metzger, Niklas and Hahn, Christopher and Flemisch, Tamara and Méndez, Julián and Dimov, Dennis and Finkbeiner, Bernd and Dachselt, Raimund}, biburl = {https://www.bibsonomy.org/bibtex/2890ddd9e6983680ae23e61c3857f7c95/dblp}, ee = {https://doi.org/10.1109/TVCG.2021.3114866}, interhash = {47abc16e3748a49510ff697a50fd23d4}, intrahash = {890ddd9e6983680ae23e61c3857f7c95}, journal = {IEEE Trans. Vis. Comput. Graph.}, keywords = {dblp}, number = 1, pages = {357-367}, timestamp = {2024-04-08T21:35:18.000+0200}, title = {Visual Analysis of Hyperproperties for Understanding Model Checking Results.}, url = {http://dblp.uni-trier.de/db/journals/tvcg/tvcg28.html#HorakCMHFMDFD22}, volume = 28, year = 2022 }