Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is N and Author is J. Hölzl [Clear All Filters]
, “Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference”, in Proceedings of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013), 2013.