Deadlocks: from exhibiting to healing (2008)

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