Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings
Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings
复制标题
网络和分布式系统的形式技术 - FORTE 2008，第 28 届 IFIP WG 6.1 国际会议，日本东京，2008 年 6 月 10-13 日，会议记录
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
K. El
中科院分区：
文献类型：
--
作者：
Kenji Suzuki;T. Higashino;K. Yasumoto;K. El
