Reachability under Contextual Locking.

Rohit Chadha, P. Madhusudan, Mahesh Viswanathan

Browse the full TACAS paper archive.