Formal Verification for Succinct Data Structures
Formal Verification for Succinct Data Structures
复制标题
简洁数据结构的形式化验证
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
DOI：
10.1007/978-3-642-14052-5_8
发表时间：
2010-07
期刊：
--
影响因子：
--
作者：
Michaël Armand;B. Grégoire;A. Spiwack;L. Théry
通讯作者：
Michaël Armand;B. Grégoire;A. Spiwack;L. Théry
高效实现排序和选择函数以实现简洁表示
影响因子：
22.7
作者：
Dong Kyue Kim;J. Na;Ji Eun Kim;Kunsoo Park
通讯作者：
Kunsoo Park