Sara Gradara, Antonella Santone, Maria Luisa Villani. Using heuristic search for finding deadlocks in concurrent systems. Inf. Comput., 202(2):191-226, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.