Race Condition and Deadlock Detection for Large-Scale Applications.

Anh-Tu Do-Mai, Thanh-Dang Diep, Nam Thoai

Browse the full ISPDC paper archive.