Deadlocks: From exhibiting to healing (2008)

by Y Nir-Buchbinder, R Tzoref, S Ur
Venue:In 8th Workshop on Runtime Verification