13 citations · 13 across the 1 of their papers we have counts for
1 paper
Philip N. Klein, Hsueh-I Lu, Rob H. B. Netzer
We address the problem of detecting race conditions in programs that use semaphores for synchronization. Netzer and Miller showed that it is NP-complete to detect race conditions i…