DMCA

Automatically verifying concurrent queue algorithms

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