Dynamic detection of atomic-set-serializability violations

Hammer, Christian and Dolby, Julian and Vaziri, Mandana and Tip, Frank
(2008) Dynamic detection of atomic-set-serializability violations.
In: ICSE '08: Proceedings of the 30th international conference on Software engineering.

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item