DMCA

An Execution Trace Verification Method on Linearizability (2011)

Cached

Download Links

by Kristijan Dragicevic , Technische Universität , München Technische , Universität München , Kristijan Dragičević , Kristijan Dragicevic , Technische Universität München