See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/237145618 Quantitative Security Analysis for Multi- threaded Programs ARTICLE · JUNE 2013 DOI: 10.4204/EPTCS.117.3 · Source: arXiv READS 9 2 AUTHORS, INCLUDING: Marieke Huisman University of Twente 92 PUBLICATIONS 1,152 CITATIONS SEE PROFILE All in-text references underlined in blue are linked to publications on ResearchGate, letting you access and read them immediately. Available from: Marieke Huisman Retrieved on: 15 January 2016