Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is S and Author is M. Perner [Clear All Filters]
, “Scheduler-Independent Declassification”, in Proceedings of the 11th International Conference on Mathematics of Program Construction (MPC 2012), 2012.