Aspect-Oriented Linearizability Proofs
Logical Methods in Computer Science- Germany
doi 10.2168/lmcs-11(1:20)2015
Full Text
Abstract
Available in
Date
April 1, 2015
Authors
Publisher
Logical Methods in Computer Science e.V.
doi 10.2168/lmcs-11(1:20)2015
Available in
April 1, 2015
Logical Methods in Computer Science e.V.