发布文献求助

Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness

活泼计算机科学可执行文件程序设计语言模型检查形式化方法规范语言正式规范算法

作者

Yanhong A. Liu,Scott D. Stoller

出处

期刊：Lecture Notes in Computer Science [Springer Science+Business Media]
日期：2020-01-01 卷期号：: 47-66 被引量：3

链接

arxiv.org arxiv.org datacite.orgdoi.org

标识

DOI：10.1007/978-3-030-60508-7_3

求助该文献

科研通智能强力驱动
Strongly Powered by AbleSci AI

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

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

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

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

实时播报: 瞬间发布了新的文献求助10

1秒前; 小二郎上传了应助文件

1秒前; 卷卷完成签到，获得积分10

1秒前; 坦率天亦完成签到，获得积分10

1秒前; 涵雁发布了新的文献求助10

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

1秒前; 子夜的梦完成签到，获得积分10

1秒前; 聪慧的又晴完成签到，获得积分10

1秒前; bkagyin上传了应助文件

2秒前; 科研通AI6.2上传了应助文件

2秒前; ssgg的应助被Ming采纳，获得30

2秒前; 研友_VZG7GZ上传了应助文件

2秒前; 科研通AI6.4上传了应助文件

2秒前; 聪慧的如柏完成签到，获得积分10

2秒前; Ava上传了应助文件

3秒前; Nicole完成签到，获得积分20

3秒前; Jasper上传了应助文件

3秒前; Owen的应助被自信的牛排采纳，获得10

3秒前; AlfaRomeo完成签到，获得积分20

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

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

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

4秒前; 苏沐阳发布了新的文献求助10

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

5秒前; 单纯的血茗上传了应助文件

5秒前; 小零完成签到，获得积分10

6秒前; xbz123qwe完成签到，获得积分10

6秒前; 开朗雪珍发布了新的文献求助30

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

6秒前; Yue完成签到，获得积分10

7秒前; AN上传了应助文件

7秒前; allshestar完成签到，获得积分0

8秒前; FashionBoy的应助被十一采纳，获得10

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

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

9秒前; 健忘的饼干发布了新的文献求助30

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

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

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

9秒前; sana发布了新的文献求助30

10秒前

高分求助中: (应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000; Navigating Normative Orders. Interdisciplinary Perspectives 800; Organizational Behavior 510; Management and the Arts 510; Matrix Methods in Data Mining and Pattern Recognition Second Edition 510; CLSI VET01S-2024 Performance Standards for Antimicrobial Disk and Dilution Susceptibility Tests for Bacteria Isolated From Animals (7th Ed) 500; A Case Study on Hotels as Noncongregate Emergency Living Accommodations for Returning Citizens 500

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

热门帖子: 关注科研通微信公众号，转发送积分 7757784; 求助须知：如何正确求助？哪些是违规求助？ 9304178; 关于积分的说明 20278620; 捐赠科研通 7341583; 什么是DOI，文献DOI怎么找？ 3312062; 关于科研通互助平台的介绍 2462735; 邀请新用户注册赠送积分活动 2325860

今日热心研友

潇洒的惋清

学术文献互助

殷勤的紫槐

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

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

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

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

皖ICP备2024041134号-1

皖公网安备34019202002308

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

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

关注微信服务号

科研通