Analysis of deadlocks in object groups (2011)

by E Giachino, C Laneve
Venue:In FMOODS/FORTE