Login / Signup

May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects.

Antonio Flores-MontoyaElvira AlbertSamir Genaim
Published in: FMOODS/FORTE (2013)
Keyphrases