Berard, Beatrice, Sorbonne Universite, Universite Pierre et Marie Curie, LIP6, France
-
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.