Reference

2015
From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis
Pavol Černý, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach
CAV 2015: International Conference on Computer Aided Verification

BibTeX

@string{CAV = "International Conference on Computer Aided Verification (CAV)"}
@inproceedings{scheduling-cav15,
  author = {Pavol Černý and Edmund M. Clarke and Thomas A. Henzinger and Arjun Radhakrishna and Leonid Ryzhyk and Roopsha Samanta and Thorsten Tarrach},
  title = {From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis},
  booktitle = CAV,
  year = {2015},
}