Newcastle University
Browse
comm1_2JsonFile (4.14 kB)
comm1_3JsonFile (4.14 kB)
comm2_2JsonFile (6.94 kB)
gloc4_3JsonFile (14.1 kB)
gloc3sync (0.14 kB)
TEXT
comm3.out (0.49 kB)
comm5_3JsonFile (11.79 kB)
comm4sync (0.14 kB)
TEXT
gloc2.out (0.36 kB)
gloc2_3JsonFile (7.57 kB)
gloc3_2JsonFile (7.24 kB)
gloc1sync (0.04 kB)
TEXT
comm1.out (0.36 kB)
comm3_3JsonFile (6.86 kB)
comm4_2JsonFile (9.25 kB)
comm2sync (0.07 kB)
TEXT
comm5.out (0.9 kB)
gloc1_2JsonFile (3.22 kB)
TEXT
gloc3.out (0.42 kB)
comm5sync (0.15 kB)
1/0
37 files

Workcraft xMAS verification data

Download all (149.33 kB)
dataset
posted on 2016-01-01, 00:00 authored by F Burns
Deadlock relations data - Workcraft xMAS tool

History

Usage metrics

    Newcastle University

    Categories

    No categories selected

    Keywords

    WorkcraftxMASDeadlocksDeadlock relations

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC