Directory Home
Researchers
Departments
Publications
Projects
Activities
Datasets
Home
>
Research
> Browse
Research
Research at Lancaster
Researchers
Departments & Centres
Publications & Outputs
Projects
Activities
Datasets
Results for Nondeterministic scheduling
Publications & Outputs
Extracting Safe Thread Schedules from Incomplete Model Checking Results
Metzler, P.,
Suri, N.
& Weissenbacher, G.,
31/10/2020
,
In:
International Journal on Software Tools for Technology Transfer.
22
,
p. 565-581
17 p.
Research output
:
Contribution to Journal/Magazine
›
Journal article
›
peer-review