DMCA

Automatically verifying concurrent queue algorithms (2003)

by Eran Yahav , Mooly Sagiv
Venue:Electr. Notes Theor. Comput. Sci
Citations:14 - 2 self