切换导航
Radboud存储库
切换导航
查看项目
Radboud存储库
藏品Radboud大学
学术出版物
查看项目
Radboud存储库
藏品Radboud大学
学术出版物
查看项目
浏览器已禁用JavaScript。
没有它,此网站的某些功能可能无法运行。
搜索存储库
本系列
浏览
所有存储库
收藏
部门
发布日期
作者
标题
文档类型
本系列
部门
发布日期
作者
标题
文档类型
统计
查看项目统计信息
使用数据的模型检查流程
全文:
32746.pdf格式
尺寸:
186.1千桶
格式:
PDF格式
描述:
作者版本预印本
下载
出版年份
2005
作者
J.F.格罗特。
T.A.C.威廉姆斯。
来源
《计算机程序设计科学》,56,3,(2005),第251-273页
国际标准编号
0167-6423
内政部
https://doi.org/10.1016/j.scico.2004.08.002
出版物类型
文章/致编辑的信
请使用此标识符引用或链接此项目:
https://hdl.handle.net/2066/32746
显示更多详细信息
显示较少的详细信息
组织
技术应用信息学
期刊标题
计算机程序设计科学
体积
第56卷
问题
国际空间站。
三
页面开始
第251页
页面结尾
第273页
主题
技术应用信息学
此项目出现在以下集合中
学术出版物
[240236]
电子出版物
[124867]
科学学院
[35232]
开放存取出版物
[99737]
上传全文
使用您的RU凭据(u/z编号和密码)
使用SURFconext登录
上传文件供存储库团队处理。