Directory Home
Researchers
Departments
Publications
Projects
Activities
Datasets
Home
>
Research
>
Datasets
>
Extracting Safe Thread Schedules from Incomplet...
Research
Research at Lancaster
Researchers
Departments & Centres
Publications & Outputs
Projects
Activities
Datasets
DOI
https://doi.org/10.5281/zenodo.3752957
View graph of relations
Extracting Safe Thread Schedules from Incomplete Model Checking Results
Dataset
Overview
Cite this
DataCite
Metzler, P.,
Suri, N.
, Weissenbacher, G. (2020):
Extracting Safe Thread Schedules from Incomplete Model Checking Results
. Zenodo.
10.5281/zenodo.3752957