Number of items: 1.
Snelting, Gregor and Giffhorn, Dennis and Graf, Jürgen and Hammer, Christian and Hecker, Martin and Mohr, Martin and Wasserrab, Daniel
(2014)
Checking probabilistic noninterference using JOANA.
it - Information Technology, 56 (6).
pp. 280-287.
This list was generated on Thu Nov 21 13:12:58 2024 CET.