| 标题 |
[高分]
 Formal Models of the OSPF Routing Protocol OSPF路由协议的形式化模型
相关领域
计算机科学
路由信息协议
先开最短路径
模型检查
抽象
协议（科学）
路由协议
布线（电子设计自动化）
自动机
过程（计算）
理论计算机科学
程序设计语言
分布式计算
计算机网络
链路状态路由协议
医学
哲学
替代医学
认识论
病理
|
| 网址 | |
| DOI | |
| 其它 |
期刊：arXiv (Cornell University) 作者：J C Drury; Peter Höfner; Weiyou Wang 出版日期：2020-04-26 |
| 求助人 | |
| 下载 | 暂无链接，等待应助者上传 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
非而者厚
高大凌寒
斯寜
VDC
小海
陈炫铭
若雨凌风
Xiaoxiao
xixi
CNS冲
小白
paganina
pluto
Leung
竹筏过海
zho
冰魂
mkeale
核桃
善良的剑通
皖公网安备34019202002308
