TY  - RPRT
TI  - Probabilistic Opacity in Refinement-Based Modeling
AU  - Béatrice Bérard
AU  - Olga Kouchnarenko
AU  - John Mullins
AU  - Mathieu Sassolas
PY  - 2015
UR  - https://arxiv.org/abs/1510.04316
ID  - 1510.04316
ER  -