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 Sat Apr 19 01:38:23 2025 CEST.