From non-preemptive to preemptive scheduling using synchronization synthesis
Journal Article
Overview
publication date
- June 1, 2017
Full Author List
- Cerny P; Clarke EM; Henzinger TA; Radhakrishna A; Ryzhyk L; Samanta R; Tarrach T
published in
- Formal Methods in System Design Journal
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 97
end page
- 139
volume
- 50
issue
- 2-3