SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
亲爱的研友该休息了！由于当前在线用户较少，发布求助请尽量完整的填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！身体可是革命的本钱，早点休息，好梦！
A three-valued model abstraction framework for PCTL* stochastic model checking
模型检查
概率CTL
计算机科学
概率逻辑
抽象模型检查
概率自动机
计算树逻辑
理论计算机科学
概率相关模型
谓词抽象
二元决策图
不确定性算法
抽象
算法
人工智能
算法的概率分析
哲学
认识论
作者
Yang Liu,
Yan Ma,
Yongsheng Yang
出处
期刊：
Automated software engineering
[Springer Nature]
日期：2022-03-02
卷期号：29 (1)
标识
DOI：10.1007/s10515-022-00327-z
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
2024年影响因子查询已上线
(2024-6-20)
更新
大幅提高文件上传限制，最高150M
(2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
乐乐
的
应助
被
Tirachen
采纳，获得
10
刚刚
天天快乐
上传了
应助文件
8秒前
萧水白
的
应助
被
Tirachen
采纳，获得
10
11秒前
Gllj
发布了新的
文献求助
10
14秒前
Ally
上传了
应助文件
17秒前
烟花
的
应助
被
十三月的过客
采纳，获得
10
34秒前
廖先生
完成签到
，获得积分
10
41秒前
烟花
上传了
应助文件
43秒前
Tirachen
完成签到，获得积分
10
45秒前
十三月的过客
发布了新的
文献求助
10
47秒前
魔幻的妖丽
完成签到
，获得积分
10
59秒前
星辰大海
上传了
应助文件
1分钟前
ET
发布了新的
文献求助
10
1分钟前
recardo
发布了新的
文献求助
30
1分钟前
豆子
上传了
应助文件
1分钟前
recardo
完成签到，获得积分
10
1分钟前
豆子
上传了
应助文件
2分钟前
田様
上传了
应助文件
2分钟前
谢谢谢
发布了新的
文献求助
10
2分钟前
沾沾波
发布了新的
文献求助
10
2分钟前
万能图书馆
的
应助
被
lk1126
采纳，获得
10
2分钟前
万能图书馆
上传了
应助文件
2分钟前
lk1126
发布了新的
文献求助
10
2分钟前
豆子
上传了
应助文件
2分钟前
想不出来
完成签到
，获得积分
10
2分钟前
乐多
完成签到，获得积分
10
2分钟前
小马甲
的
应助
被
科研通管家
采纳，获得
10
3分钟前
Yuuuu
完成签到
，获得积分
10
3分钟前
汉堡包
上传了
应助文件
3分钟前
美好乌龟
完成签到
，获得积分
10
3分钟前
耶豆
完成签到
，获得积分
20
3分钟前
joy001
发布了新的
文献求助
10
3分钟前
豆子
上传了
应助文件
3分钟前
张杠杠
完成签到
，获得积分
10
4分钟前
豆子
的
应助
被
YiWeiYing
采纳，获得
40
4分钟前
神经蛙
完成签到，获得积分
10
4分钟前
Ally
完成签到，获得积分
20
5分钟前
NexusExplorer
上传了
应助文件
5分钟前
李健
上传了
应助文件
5分钟前
xiezizai
发布了新的
文献求助
10
5分钟前
高分求助中
Sustainability in Tides Chemistry
1500
Handbook of the Mammals of the World – Volume 3: Primates
805
拟南芥模式识别受体参与调控抗病蛋白介导的ETI免疫反应的机制研究
550
Gerard de Lairesse : an artist between stage and studio
500
Digging and Dealing in Eighteenth-Century Rome
500
Queer Politics in Times of New Authoritarianisms: Popular Culture in South Asia
500
Manual of Sewer Condition Classification
500
热门求助领域
（近24小时）
化学
医学
生物
材料科学
工程类
有机化学
生物化学
物理
内科学
纳米技术
计算机科学
化学工程
复合材料
基因
遗传学
催化作用
物理化学
免疫学
量子力学
细胞生物学
热门帖子
关注
科研通微信公众号，转发送积分
3068088
求助须知：如何正确求助？哪些是违规求助？
2722043
关于积分的说明
7475980
捐赠科研通
2369097
什么是DOI，文献DOI怎么找？
1256148
科研通“疑难数据库（出版商）”最低求助积分说明
609472
版权声明
596795
今日热心研友
吃不饱星球球长
59
460
寻道图强
27
490
豆子
49
200
穆紫
20
40
鹊起
210
于芋菊
200
嗯哼
190
一一
170
CipherSage
9
80
英姑
7
100
丰盛的煎饼
140
Frank
3
110
cc
130
Jasper
7
40
Akim
4
70
爆米花
5
60
赘婿
3
50
所所
3
40
酷波er
3
40
NexusExplorer
70
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
吃不饱星球球长
寻道图强
豆子
穆紫
鹊起
于芋菊
嗯哼
一一
CipherSage
英姑
丰盛的煎饼
Frank
cc
Jasper
Akim
爆米花
赘婿
所所
酷波er
NexusExplorer
皖公网安备34019202002308
