Electronic Communications of the EASST
Mullins, John, Ecole Polytechnique de Montreal, Canada
-
Volume 70: Automated Verification of Critical Systems 2014 - Articles
Verification of Information Flow Properties under Rational Observation
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.