DMCA

W.: Formal verification of a lock-free stack with hazard pointers (2011)

by Bogdan Tofan , Gerhard Schellhorn , Wolfgang Reif
Venue:In: Proc. ICTAC, Springer LNCS 6916
Citations:9 - 5 self