Reps. Interprocedural analysis of concurrent programs under a context bound (2008)

by Akash Lal, Tayssir Touili, Nicholas Kidd, W Thomas
Venue:In TACAS, volume 4963 of LNCS