![](/img/cover-not-exists.png)
Using heuristic search for finding deadlocks in concurrent systems
Sara Gradara, Antonella Santone, Maria Luisa VillaniVolume:
202
Year:
2005
Language:
english
Pages:
36
DOI:
10.1016/j.ic.2005.07.004
File:
PDF, 651 KB
english, 2005