Hirozumi YAMAGUCHI,Kozo OKANO,Teruo HIGASHINO and Kenichi TANIGUCHI: "Synthesis of Protocol Entities'Specifications from Service Specifications in a Patri Net Model with Registers" 15th International Conference on Distributed Computing Systems(ICDCS'95).
Hirozumi YAMAGUCHI,Kozo OKANO,Teruo HIGASHINO and Kenichi TANIGUCHI: "Synthesis of Protocol Entities'Specifications from Service Specifications in a Patri Net Model with Registers" 15th International Conference on Distributed Computing Systems(ICDCS'95).
复制标题
Hirozumi YAMAGUCHI、Kozo OKANO、Teruo HIGASHINO 和 Kenichi TANIGUCHI：“带有寄存器的 Patri 网络模型中的服务规范的协议实体规范的综合”第 15 届分布式计算系统国际会议 (ICDCS95)。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
