VerC3: A library for explicit state synthesis of concurrent systems
VerC3: A library for explicit state synthesis of concurrent systems
复制标题
VerC3：并发系统显式状态综合的库
DOI：
10.23919/date.2018.8342228
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Elver M
中科院分区：
文献类型：
--
作者：
Elver M
DOI：
10.1007/s10009-013-0287-9
发表时间：
2013
影响因子：
1.5
作者：
Rastislav Bodík;Barbara Jobstmann
通讯作者：
Barbara Jobstmann
重新审视硬件缓存一致性的复杂性和一些含义
DOI：
10.1145/2663345
发表时间：
2014
期刊：
ACM Transactions on Architecture and Code Optimization (TACO)
影响因子：
--
作者：
Rakesh Komuravelli;S. Adve;Ching
通讯作者：
Ching