H.Hiraishi: "Formal Logic Design Verification and Message Rewriting Proxy Server" The Bulletin of the Inst.of Comp.Sci., Kyoto Sangyo Univ.Vol.15, No.1. 47-51 (1998)
H.Hiraishi: "Formal Logic Design Verification and Message Rewriting Proxy Server" The Bulletin of the Inst.of Comp.Sci., Kyoto Sangyo Univ.Vol.15, No.1. 47-51 (1998)
复制标题
H.Hiraishi：“形式逻辑设计验证和消息重写代理服务器”《计算机科学研究所通报》，京都产业大学，第 15 卷，第 1 期。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
