From non-preemptive to preemptive scheduling using synchronization synthesis
Pavol Černý,Edmund M. Clarke,Thomas A. Henzinger…Volume:
50
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-016-0256-5
Date:
June, 2017
File:
PDF, 1.32 MB
english, 2017