DMCA

Runtime refinement checking of concurrent data structures (2004)

Cached

Download Links

by Serdar Tasiran , Shaz Qadeer
Venue:in: Proceedings of the 2004 Workshop on Runtime Verification (RV 2004
Citations:5 - 0 self