×

找到2个文档(结果1-2)

使用同步合成从非抢占调度到抢占调度。 (英语) 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格式引用

筛选结果依据…

文档类型

出版年份

主字段