Veri cation of the Deutsch-Schorr-Waite marking algorithm with Modal Logic
Veri cation of the Deutsch-Schorr-Waite marking algorithm with Modal Logic
复制标题
使用模态逻辑验证 Deutsch-Schorr-Waite 标记算法
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
高橋孝一
中科院分区：
文献类型：
--
作者：
湯浅能史;田辺良則;関澤俊弦;高橋孝一
