Modular Data Plane Verification for Compositional Networks - 科研通

发布文献求助

已完结

文献求助详情

标题	Modular Data Plane Verification for Compositional Networks 组合网络的模块化数据平面验证相关领域计算机科学可扩展性分布式计算正确性模块化设计覆盖网覆盖衬垫桥接（联网）可达性合并（版本控制）分层理论计算机科学计算机网络并行计算算法互联网程序设计语言操作系统电信植物生物信噪比（成像）
网址	https://doi.org/10.1145/3629145
DOI	10.1145/3629145 doi
其它	期刊：The proceedings of the ACM on networking 作者：Xu Liu; Peng Zhang; Hao Li; Wujun Sun 出版日期：2023-11-27
求助人	icenow 在 2024-07-20 10:08:54 发布自海南，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

学术共进，科研互通

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

2024年影响因子查询已上线 (2024-6-20)

更新

大幅提高文件上传限制，最高150M (2024-4-1)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 大个的应助被chenxians15采纳，获得10

刚刚; OMG发布了新的文献求助10

1秒前; 烟花上传了应助文件

3秒前; 科研通AI2S上传了应助文件

3秒前; 东郭迎松发布了新的文献求助10

4秒前; JamesPei上传了应助文件

4秒前; 科研通AI2S的应助被科研通管家采纳，获得20

5秒前; Hello的应助被科研通管家采纳，获得10

5秒前; 桐桐的应助被科研通管家采纳，获得10

5秒前; 小蘑菇的应助被科研通管家采纳，获得10

5秒前; wanci的应助被科研通管家采纳，获得10

5秒前; 情怀的应助被科研通管家采纳，获得10

5秒前; 一一的应助被科研通管家采纳，获得20

5秒前; 酷波er的应助被科研通管家采纳，获得10

5秒前; 爆米花的应助被科研通管家采纳，获得10

5秒前; 科研通管家关闭了慈祥的翠桃的文献求助

5秒前; Akim的应助被科研通管家采纳，获得10

5秒前; 科研通管家关闭了阿波罗的文献求助

5秒前; 科研通管家关闭了慈祥的翠桃的文献求助

5秒前; Akim的应助被科研通管家采纳，获得10

5秒前; 风华正茂关闭了风华正茂的文献求助

6秒前; 斯文败类的应助被Xian采纳，获得10

7秒前; hahaha发布了新的文献求助10

8秒前; 嗯哼的应助被高大美采纳，获得20

8秒前; 科研通管家关闭了可爱安筠的文献求助

8秒前; 所所上传了应助文件

8秒前; 田様上传了应助文件

9秒前; 蓝心语完成签到，获得积分10

9秒前; 巷尾花店发布了新的文献求助10

9秒前; 19上传了应助文件

9秒前; 可爱安筠发布了新的文献求助10

9秒前; snowpie发布了新的文献求助10

10秒前; 双黄上传了应助文件

10秒前; 贺贺发布了新的文献求助10

13秒前; brossica发布了新的文献求助10

14秒前; XinH关注了科研通微信公众号

14秒前; leilan发布了新的文献求助10

14秒前; HJJ上传了应助文件

14秒前; 小白发布了新的文献求助10

16秒前; 夜白上传了应助文件

17秒前

高分求助中: The late Devonian Standard Conodont Zonation 2000; Nickel superalloy market size, share, growth, trends, and forecast 2023-2030 2000; The Lali Section: An Excellent Reference Section for Upper - Devonian in South China 1500; Very-high-order BVD Schemes Using β-variable THINC Method 890; Mantiden: Faszinierende Lauerjäger Faszinierende Lauerjäger 800; PraxisRatgeber: Mantiden: Faszinierende Lauerjäger 800; Saponins and sapogenins. IX. Saponins and sapogenins of Luffa aegyptica mill seeds (black variety) 500

热门求助领域（近24小时）

热门帖子: 关注科研通微信公众号，转发送积分 3260296; 求助须知：如何正确求助？哪些是违规求助？ 2901540; 关于积分的说明 8315902; 捐赠科研通 2571101; 什么是DOI，文献DOI怎么找？ 1396826; 科研通“疑难数据库（出版商）”最低求助积分说明 653584; 邀请新用户注册赠送积分活动 631997

今日热心研友

平常的毛豆

独特的紫蓝

宜醉宜游宜睡

坚强的广山

注：热心度 = 本日应助数 + 本日被采纳获取积分÷10

Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved

科研通是非营利科研互助平台，不忘初心，为科研助力

本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播

皖ICP备2024041134号-1

皖公网安备34019202002308

科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】

科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入

关注微信服务号

科研通