Fast Verified SCCs for Probabilistic Model Checking

已完结

文献求助详情

标题	Fast Verified SCCs for Probabilistic Model Checking 用于概率模型检验的快速验证SCCs 相关领域计算机科学水准点（测量）实施概率逻辑代表（政治）煤气表校准仪理论计算机科学软件实现程序设计语言模型检查软件算法自动定理证明人工智能数学数学证明几何学大地测量学政治政治学法学地理
网址	https://doi.org/10.1007/978-3-031-45329-8_9
DOI	10.1007/978-3-031-45329-8_9 doi
其它	期刊：Lecture Notes in Computer Science 作者：Arnd Hartmanns; Bram Kohlen; Peter Lammich 出版日期：2023-01-01
求助人	beplayer1 在 2023-12-19 00:22:26 发布自法国，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

Society for Industrial and Applied Mathematics (SIAM)

上个求助

该求助已完结，感谢关注

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

科研通的所有服务均免费，并承诺对个人用户永久免费！

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

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

一分钟了解求助规则 | 捐赠本站 | 论文查重

更新

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

更新

新增期刊收藏功能 (2024-03-23)

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

实时播报: 可爱的函函的应助被小玲仔采纳，获得10

1秒前; 传奇3的应助被LY采纳，获得10

1秒前; 自闭鹏完成签到，获得积分10

2秒前; shutcm风发布了新的文献求助10

3秒前; 死生长叹完成签到，获得积分10

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

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

6秒前; 星辰大海上传了应助文件

7秒前; vidi完成签到，获得积分10

8秒前; red0red完成签到，获得积分10

9秒前; zzz完成签到，获得积分10

11秒前; ossantu完成签到，获得积分10

12秒前; 英俊的铭上传了应助文件

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

14秒前; 忧心的涔雨完成签到，获得积分10

17秒前; 朴素便当的应助被yitingmuyu采纳，获得20

22秒前; 遇见完成签到，获得积分10

23秒前; Rosyboi完成签到，获得积分10

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

25秒前; 希望天下0贩的0的应助被科研通管家采纳，获得10

26秒前; 英姑的应助被科研通管家采纳，获得10

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

26秒前; 彭于晏的应助被科研通管家采纳，获得10

26秒前; AlinaG的应助被射干鸢尾采纳，获得10

27秒前; 牧长一完成签到，获得积分0

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

29秒前; 韩小柒完成签到，获得积分20

30秒前; 慕青上传了应助文件

31秒前; mit完成签到，获得积分0

33秒前; 未改完成签到，获得积分10

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

36秒前; star上传了应助文件

38秒前; 朴素便当的应助被yitingmuyu采纳，获得20

38秒前; 墨竹青浅完成签到，获得积分10

40秒前; 傢誠发布了新的文献求助10

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

45秒前; Joselyn完成签到，获得积分10

47秒前; 万能图书馆的应助被山南水北采纳，获得10

48秒前; yitingmuyu驳回了鎏清畵的应助

57秒前; 悦耳从彤关注了科研通微信公众号

1分钟前