基于消息唯一起源的动态逻辑方法

PDF(290 KB)

电子学报 ›› 2007, Vol. 35 ›› Issue (8) : 1516-1520.

论文

基于消息唯一起源的动态逻辑方法

作者信息 +

Dynamic Logic Method Based on Message Unique Origin

Author information +

文章历史 +

导出引用

{{article.zuoZheCn_L}}. {{article.title_cn}}[J]. {{journal.qiKanMingCheng_CN}}, 2007, 35(8): 1516-1520.

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. Acta Electronica Sinica, 2007, 35(8): 1516-1520.

中图分类号：

原文顺序 | 文献年度倒序 | 文中引用次数倒序

PDF(290 KB)

Accesses

Citation

Detail

段落导航