Inproceedings,

Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables.

, and .
PADTAD, page 51-60. ACM, (2006)

Meta data

Tags

Users

  • @dblp

Comments and Reviews