乔恩,帕沃;埃德蒙·克拉克(Edmund M.Clarke)。;托马斯·亨辛格(Thomas A.Henzinger)。;阿琼·拉德哈克利什纳;列奥尼德·雷日克;萨曼塔(Samanta,Roopsha);托尔斯滕·塔拉赫 从非抢占式调度到使用同步合成的抢占式调度。 (英语) Zbl 1360.68346号 形式方法系统。设计。 50,编号2-3,97-139(2017).MSC公司:第68页第19页 68平方米 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.乔恩}等人,《形式方法系统》。设计。50,编号2--3,97-139(2017;Zbl 1360.68346) 全文: 内政部
乔恩,帕沃;埃德蒙·克拉克(Edmund M.Clarke)。;托马斯·亨辛格(Thomas A.Henzinger)。;阿琼·拉德哈克利什纳;列奥尼德·雷日克;萨曼塔(Samanta,Roopsha);托尔斯滕·塔拉赫 使用同步合成从非抢占调度到抢占调度。 (英语) Zbl 1381.68040号 Kroening,Daniel(编辑)等人,《计算机辅助验证》。第27届国际会议,CAV 2015,美国加利福尼亚州旧金山,2015年7月18日至24日。诉讼程序。第二部分。查姆:施普林格(ISBN 978-3-319-21667-6/pbk;978-3-3169-21668-3/ebook)。计算机科学讲座笔记9207180-197(2015)。MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{P.乔恩}等人,Lect。注释计算。科学。9207180-197(2015年;Zbl 1381.68040) 全文: 内政部 arXiv公司