Quantifying Timing Leaks and Cost Optimisation.

Alessandra Di Pierro Chris Hankin Herbert Wiklicky Quantifying Timing Leaks and Cost Optimisation. 81-96 2008 ICICS http://dx.doi.org/10.1007/978-3-540-88625-9_6 conf/icics/2008 db/conf/icics/icics2008.html#PierroHW08