Josh Berdine Tal Lev-Ami Roman Manevich G. Ramalingam Shmuel Sagiv Thread Quantification for Concurrent Shape Analysis. 399-413 2008 CAV http://dx.doi.org/10.1007/978-3-540-70545-1_37 conf/cav/2008 db/conf/cav/cav2008.html#BerdineLMRS08