Sara Gradara, Antonella Santone, Maria Luisa Villani. Using heuristic search for finding deadlocks in concurrent systems. Inf. Comput., 202(2):191-226, 2005. [doi]
@article{GradaraSV05, title = {Using heuristic search for finding deadlocks in concurrent systems}, author = {Sara Gradara and Antonella Santone and Maria Luisa Villani}, year = {2005}, doi = {10.1016/j.ic.2005.07.004}, url = {http://dx.doi.org/10.1016/j.ic.2005.07.004}, tags = {search}, researchr = {https://researchr.org/publication/GradaraSV05}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {202}, number = {2}, pages = {191-226}, }