Isabelle/HOL files for "A Verified Durable Transactional Mutex Lock for Persistent x86-TSO"
Isabelle/HOL files for "A Verified Durable Transactional Mutex Lock for Persistent x86-TSO"
复制标题
Isabelle/HOL 文件“用于持久 x86-TSO 的经过验证的持久事务互斥锁”
DOI：
10.6084/m9.figshare.25037312
复制
发表时间：
2024
期刊：
影响因子：
--
通讯作者：
Vafeiadi Bila E
中科院分区：
文献类型：
--
作者：
Vafeiadi Bila E
