Number of items: 1.
Sumner, William N and Hammer, Christian and Dolby, Julian
(2012)
Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs.
In:
Runtime Verification.
Springer, pp. 161-176.
This list was generated on Fri Oct 4 11:28:26 2024 CEST.