@第{zbMATH06715521条，作者={{v{C}}ern{'y}，Pavol和Clarke，Edmund M.和Henzinger，Thomas A.和Radhakrishna，Arjun和Ryzhyk，Leonid和Samanta，Roopsha和Tarrach，Thorsten}，标题={使用同步合成从非抢占调度到抢占调度}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={50}，数字={2-3}，页码={97--139}，年份={2017年}，语言={英语}，DOI={10.1007/s10703-016-0256-5}，关键词={68N19,68M20,68Q60,68Q85}，zbMATH={6715521}，Zbl={1360.68346}}