I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Visual Analysis of Hyperproperties for Understanding Model ..:

Horak, Tom ; Coenen, Norine ; Metzger, Niklas...
IEEE Transactions on Visualization and Computer Graphics.  28 (2022)  1 - p. 357-367 , 2022
Link: https://doi.org/10.1109/tvcg.2021.3114866