CTL and Equivalent Sublanguages of CTL

作者
Klaus Schneider,Detlef Schmid
标识
DOI:10.1007/978-0-387-35064-6_4

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
刚刚
yy完成签到,获得积分10
1秒前
感性的荆发布了新的文献求助10
1秒前
1秒前
饱满一刀发布了新的文献求助10
2秒前
2秒前
硕大的眼完成签到,获得积分10
2秒前
Doreen发布了新的文献求助10
2秒前
小白努力呀完成签到,获得积分10
2秒前
天晴应助研友_LMBAXn采纳,获得10
2秒前
zjx发布了新的文献求助50
4秒前
尔蓝红颜完成签到,获得积分10
5秒前
Ava应助hanying采纳,获得10
5秒前
semper发布了新的文献求助13
6秒前
rrs发布了新的文献求助10
6秒前
Akim应助牛溪媛采纳,获得10
7秒前
123123发布了新的文献求助10
8秒前
观妙散人完成签到,获得积分10
8秒前
艳阳天发布了新的文献求助10
9秒前
李健应助小唐勇敢学习采纳,获得10
10秒前
10秒前
13秒前
14秒前
15秒前
15秒前
16秒前
宋妮子应助Lky采纳,获得20
16秒前
仁爱鹰发布了新的文献求助10
18秒前
18秒前
Zzz完成签到,获得积分10
19秒前
罗班完成签到,获得积分10
19秒前
科研通AI6.2应助张越采纳,获得10
19秒前
20秒前
20秒前
20秒前
翊然甜周发布了新的文献求助10
21秒前
饱满一刀完成签到,获得积分10
21秒前
Gunsad完成签到,获得积分10
22秒前
22秒前
科研通AI6.2应助关琦采纳,获得10
22秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
APA handbook of comparative psychology: Basic concepts, methods, neural substrate, and behavior 1000
Child and Adolescent Mental Health 600
Matrix Methods in Data Mining and Pattern Recognition Second Edition 510
The fast track to determining transfer functions of linear circuits: The student guide 500
Römisch-Germanische Forschungen 500
Electric machines: theory, operating applications, and controls 500
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 内科学 物理 复合材料 催化作用 细胞生物学 无机化学 光电子学 物理化学 电极 基因
热门帖子
关注 科研通微信公众号,转发送积分 7600236
求助须知:如何正确求助?哪些是违规求助? 9176361
关于积分的说明 19648621
捐赠科研通 7176255
什么是DOI,文献DOI怎么找? 3268622
关于科研通互助平台的介绍 2433042
邀请新用户注册赠送积分活动 2262196