会员服务
FORTE：Formal Techniques for Networked and Distributed Systems。 Explanation：网络化和分布式系统的形式化技术。 Publisher：Springer。 SIT：http://dblp.uni-trier.de/db/conf/forte/
暂无数据
参考链接
父主题
Springer
计算机网络
微信扫码咨询专知VIP会员
Top