skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Using heuristic search for finding deadlocks in concurrent systems

Gradara, S., A. Santone, and M. Luisa Villani, "Using heuristic search for finding deadlocks in concurrent systems", Information and Computation, vol. 202, no. 2: Elsevier, pp. 191–226, 2005.