SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
Formal Memory Models for the Verification of Low-Level Operating-System Code
计算机科学
内存映射
内存保护
虚拟内存
管理程序
记忆模型
模型检查
程序设计语言
操作系统
内存管理
嵌入式系统
覆盖
共享内存
云计算
虚拟化
作者
Hendrik Tews,
Marcus Völp,
Tjark Weber
出处
期刊:
Journal of Automated Reasoning
[Springer Nature]
日期:2009-04-01
卷期号:42 (2-4): 189-227
被引量:23
链接
psu.edu
tu-dresden.de
doi.org
标识
DOI:10.1007/s10817-009-9122-0
求助该文献
最长约 10秒,即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起,本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
HY
完成签到,获得积分
10
刚刚
含蓄若云
发布了新的
文献求助
10
刚刚
温迪
发布了新的
文献求助
30
刚刚
dandan
完成签到,获得积分
10
1秒前
怎能浮夸
发布了新的
文献求助
10
1秒前
kingwill
上传了
应助文件
2秒前
谦让小玉
完成签到,获得积分
10
2秒前
丘比特
上传了
应助文件
2秒前
科研通AI5
上传了
应助文件
2秒前
科研通AI5
的
应助
被
YSL
采纳,获得
10
3秒前
天天呼的海角
完成签到,获得积分
10
5秒前
bosszjw
发布了新的
文献求助
10
5秒前
夏天的倒影
完成签到,获得积分
10
6秒前
请叫我风吹麦浪
上传了
应助文件
7秒前
罗马狼王
发布了新的
文献求助
30
7秒前
烟花
上传了
应助文件
7秒前
MchemG
上传了
应助文件
7秒前
清脆人杰
完成签到
,获得积分
10
8秒前
烟花
的
应助
被
魔幻傲霜
采纳,获得
30
8秒前
XXGG
完成签到
,获得积分
10
9秒前
中豪贾
完成签到
,获得积分
10
10秒前
苏州河
完成签到
,获得积分
10
10秒前
论文狗
发布了新的
文献求助
10
10秒前
科研通AI5
的
应助
被
学术摆子
采纳,获得
10
12秒前
lilian
发布了新的
文献求助
10
12秒前
lz
发布了新的
文献求助
10
12秒前
Bake
完成签到
,获得积分
10
12秒前
深情安青
的
应助
被
年轻的醉冬
采纳,获得
10
13秒前
希望天下0贩的0
的
应助
被
DoctorLily
采纳,获得
10
14秒前
乔治
驳回了
爆米花
的
应助
16秒前
小小怪将军
发布了新的
文献求助
10
17秒前
打打
的
应助
被
lz
采纳,获得
10
18秒前
YANG
完成签到
,获得积分
10
20秒前
研友_VZG7GZ
上传了
应助文件
20秒前
烟花
的
应助
被
zhangnan
采纳,获得
10
20秒前
白丁香
发布了新的
文献求助
10
21秒前
科研通AI5
的
应助
被
zwy
采纳,获得
10
21秒前
深情安青
上传了
应助文件
22秒前
现代乌龟
完成签到,获得积分
10
22秒前
Yely
关闭了
Yely
的
文献求助
23秒前
高分求助中
Continuum Thermodynamics and Material Modelling
3000
Production Logging: Theoretical and Interpretive Elements
2700
Les Mantodea de Guyane Insecta, Polyneoptera
1000
Structural Load Modelling and Combination for Performance and Safety Evaluation
1000
Conference Record, IAS Annual Meeting 1977
820
England and the Discovery of America, 1481-1620
600
電気学会論文誌D(産業応用部門誌), 141 巻, 11 号
510
热门求助领域
(近24小时)
化学
材料科学
生物
医学
工程类
有机化学
生物化学
物理
纳米技术
计算机科学
内科学
化学工程
复合材料
基因
遗传学
物理化学
催化作用
量子力学
光电子学
冶金
热门帖子
关注
科研通微信公众号,转发送积分
3572963
求助须知:如何正确求助?哪些是违规求助?
3143128
关于积分的说明
9450156
捐赠科研通
2844589
什么是DOI,文献DOI怎么找?
1563562
邀请新用户注册赠送积分活动
731886
科研通“疑难数据库(出版商)”最低求助积分说明
718701
今日热心研友
不倦
193
1190
科研小民工
26
1040
杳鸢
20
950
痴情的博超
66
310
请叫我风吹麦浪
53
320
风语村
50
310
sutharsons
740
pluto
27
470
爱静静
690
犇骉
30
390
pcr163
650
cdercder
16
480
火星上的菲鹰
30
330
迟大猫
620
HEIKU
35
270
幽壑之潜蛟
60
han
41
YY
380
nozero
330
苏卿
320
注:热心度 = 本日应助数 + 本日被采纳获取积分÷10