TY  - RPRT
TI  - Quantitative Security Analysis for Multi-threaded Programs
AU  - Tri Minh Ngo
AU  - Marieke Huisman
PY  - 2013
DO  - 10.4204/eptcs.117.3
UR  - https://arxiv.org/abs/1306.2693
ID  - 1306.2693
ER  -