Papers: 10.1007/s10703-016-0256-5

https://doi.org/10.1007/s10703-016-0256-5

From non-preemptive to preemptive scheduling using synchronization synthesis

Cited by: 5
Author(s): Pavol Černý, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
Published: almost 9 years ago

Software Mentions 1