停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

计算的形式方面，第25卷

>主页 >期刊销售 >计算的形式方面

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2013年1月第25卷第1期

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/X13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/X13
前言。 1-2
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/RoscoeH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/RoscoeH13
A.W.罗斯科,黄健:
检查定时CSP中的无干扰。 3-35
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/CavalcantiWW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/CavalcantiWW13
安娜·卡瓦尔坎蒂,安迪·威林斯（Andy J.Wellings）,吉姆·伍德科克:
安全关键型Java内存模型正式化。 37-57
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Hoang13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Hoang13
泰国Son Hoang:
离散转移系统中的安全不变量。 59-87
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Chen13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Chen13
陈一峰:
统一编程理论中的语义继承。 89-106
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fac/StoddartZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/StoddartZ13
比尔·斯托达特,弗兰克·泽达:
在基于设计的可逆计算模型中统一概率选择。 107-131
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/OliveiraCW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/OliveiraCW13
马塞尔·奥利维拉,安娜·卡瓦尔坎蒂,吉姆·伍德科克:
统一Pro-Power-Z中的理论。 133-158

第25卷第2期，2013年3月

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fac/RundeRS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/RundeRS13
朗希尔德·科布罗·伦德,Atle参考日期,凯蒂尔·斯特伦:
将计算机系统与序列图联系起来：不明确和固有不确定性的影响。 159-187
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/JohnsonT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/JohnsonT13
肯尼思·约翰逊,约翰·V·塔克:
空间对象的数据类型。 189-218
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Murray13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Murray13
托比·C·穆雷:
关于模型检查CSP细化测试的限制。 219-256
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/DamgaardGBM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/DamgaardGBM13
特洛伊尔斯·克里斯托夫·达姆加德,阿恩·格伦斯特鲁普,拉尔斯·比克达尔,罗宾·米尔纳:
绑定双图中匹配的归纳特征。 257-288
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Gomez13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Gomez13
鲁道夫·戈麦斯:
使用Uppaal完成带截止日期的模型检查时间自动机。 289-318
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/SubramaniWG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/SubramaniWG13
K.Subramani公司,马修·威廉姆森,顾晓峰:
差分约束系统中最优长度分辨率反驳的改进算法。 319-341

第25卷第3期，2013年5月

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BowenBRH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BowenBRH13
乔纳森·鲍文,迈克尔·巴特勒,史蒂夫·里夫斯,迈克·欣奇:
编辑。 343
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/ArthanMO13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/ArthanMO13
罗布·阿森,乌苏拉·马丁,保罗·奥利瓦:
线性系统的霍尔逻辑。 345-363
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/PernaG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/PernaG13
胡安·伊格纳西奥·佩尔纳,克里斯·乔治:
型号检查RAISE应用规范。 365-388
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BabicCHR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BabicCHR13
Domagoj Babic公司,拜伦·库克,艾伦·J·胡,兹沃尼米尔·拉卡马利奇:
证明非线性命令序列的终止。 389-403
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BeckertK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BeckertK13
伯恩哈德·贝克特,弗拉基米尔·克莱巴诺夫:
多线程程序演绎验证的动态逻辑。 405-437
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BanachJHS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BanachJHS13
理查德·巴纳赫,Czeslaw Jeske公司,安东尼·哈尔,苏珊·斯蒂芬尼:
原子性失效和紧缩原子性模式。 439-464

第25卷第4期，2013年7月

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/LiP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/LiP13
李永健,彭军（Jun Pang）:
链空间的归纳方法。 465-501
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fac/GalpinBH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/GalpinBH13
瓦什蒂·加尔宾,卢卡·博托鲁西,简·希尔斯顿:
HYPE：通过流的组成进行混合建模。 503-541
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/PochSPK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/PochSPK13
Tomás Poch公司,昂德雷·塞里,Frantisek Plásil公司,扬·科夫伦:
线程行为协议。 543-572
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BanachB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BanachB13
理查德·巴纳赫,马可·波扎诺:
通过紧缩I：组合电路为无功系统机械生成故障树。 573-607
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BanachB13a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BanachB13a
理查德·巴纳赫,马可·波扎诺:
通过紧缩的无功系统故障树的机械生成II：时钟和反馈电路。 609-657

第25卷第5期，2013年9月

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Eshuis 13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Eshuis13
Rik Eshuis公司:
状态图Petri网。 659-681
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BruckerW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BruckerW13
阿希姆·D·布鲁克,伯克哈特·沃尔夫:
关于基于定理证明的测试。 683-721
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/JohnSSUU13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/JohnSSU13
马蒂亚斯·约翰,汉斯·约格·舒尔茨,海德伦·舒曼,阿德琳德·M·乌尔马赫,安德烈亚·昂格:
从微积分模型构建和可视化化学反应网络。 723-742
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/RabanalRR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/RabanaRR13
巴勃罗·拉巴纳尔,伊斯梅尔·罗德里格斯,费尔南多·卢比奥:
测试可恢复系统：基于河流形成动力学的形式化定义和启发式解决方案。 743-768
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/DohertyGLM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/DohertyGLM13
西蒙·多尔蒂,林赛·格罗夫斯,维克托·卢昌科,马克·莫尔:
正式指定和验证事务内存。 769-799
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/MerroS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/MerroS13
马西莫·梅罗,Eleonora Sibilio公司:
可信的自组织网络的演算。 801-832

第25卷第6期，2013年11月

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/StewartGK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fic/StewartGK13
阿兰·斯图尔特,约阿金·加巴罗,安东尼·基南:
使用部分正确性推理web服务的编排。 833-846
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fac/FuPBL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/FuPBL13
祥福,迈克尔·鲍威尔,迈克尔·班特吉,李忠驰（Chung-Chih Li）:
简单的线性字符串约束。 847-891
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BornatA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BornatA13网址
理查德·博纳特,哈桑·阿姆贾德:
解释两种非阻塞共享变量通信算法。 893-931
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BeentinesiGMQRGZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BientinesiGMQRGZ13
保罗·比伦蒂内西,约翰·甘纳尔斯,玛格丽特·迈尔斯,恩里克·金塔纳·奥尔蒂,泰勒·罗兹,罗伯特·范·德盖恩,现场G.Van Zee:
导出稠密线性代数库。 933-945
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/HesselinkI13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/HesselinkI13
维姆·海塞林克,马克·伊杰贝马:
无饥饿互斥信号量。 947-969年
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/AbedMS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/AbedMS13
萨伊德·阿贝德,奥特曼·阿伊特·穆罕默德,吉亚斯·萨马内:
高阶逻辑中约简技术的自动验证。 971-991
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/GottliebsenHLM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/GottliebsenHLM13
汉内·戈特利布森,鲁思·哈迪,奥尔加光脚,乌苏拉·马丁:
实数定理证明在PVS中的应用。 993-1016

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。