Threads as Resource for Concurrency Verification.

Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo

Browse the full PEPM paper archive.