Completeness and Counter-Example Generations of a Basic Protocol Logic

Completeness and Counter-Example Generations of a Basic Protocol Logic
复制标题

基本协议逻辑的完整性和反例生成

DOI：
--
复制
发表时间：
2005
期刊：
Proceedings of the 6^<th> International Workshop on Rule-Based Programming, Electronic Notes in Theo.Comp.Sci. (to appear)
影响因子：
--
通讯作者：
Mitsuhiro Okada
Mitsuhiro Okada
中科院分区：
--
文献类型：
--
作者：
Koji Hasebe;Mitsuhiro Okada

文献摘要

相似文献