Data-centric dynamic partial order reduction

Anonymous, 1 and Anonymous, 2 and Anonymous, 3 and Anonymous, 4 (2016) Data-centric dynamic partial order reduction. Technical Report. IST Austria.

[img] Text
main.pdf - Submitted Version
Available under License All rights reserved.
Download (439Kb)
[img] Text
author_names.txt - Additional Metadata
Restricted to Repository staff only
Download (121b)
Item Type: Monograph (Technical Report)
Additional Information: a disclosed version of this technical report is available via
Subjects: 000 Computer science, knowledge & general works > 000 Computer science, knowledge & systems
Depositing User: Anonymous User
Date Deposited: 15 Jul 2016 08:43
Last Modified: 15 Jul 2019 14:46

Actions (login required)

View Item View Item