Results for Nondeterministic scheduling

Publications & Outputs

1. 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