Quantitative Security Analysis for Multi-threaded Programs Tri Minh Ngo Marieke Huisman University of Twente, Netherlands - Marieke - Document - PDFSEARCH.IO

First Page	Meta Content
	Quantitative Security Analysis for Multi-threaded Programs Tri Minh Ngo Marieke Huisman University of Twente, Netherlands Add to Reading List Document Date: 2013-12-16 11:11:42 Open Document File Size: 261,12 KB Share Result on Facebook

Quantitative Security Analysis for Multi-threaded Programs Tri Minh Ngo Marieke Huisman University of Twente, NetherlandsAdd to Reading List