TY  - RPRT
TI  - Verification of Information Flow Properties under Rational Observation
AU  - Béatrice Bérard
AU  - John Mullins
PY  - 2014
UR  - https://arxiv.org/abs/1409.0871
ID  - 1409.0871
ER  -