Surabhi Pandey, Sushanth Bhat, Vivek K. Shanbhag. Avoiding deadlocks using stalemate and dimmunix. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014. pages 602-603, ACM, 2014. [doi]
Abstract is missing.