Model checking multithreaded programs with asynchronous atomic methods (2006)

by K Sen, M Viswanathan
Venue:In Intl. Conf. on Computer Aided Verification (CAV