停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2012年第32届FORTE/14届FMOODS：瑞典斯德哥尔摩

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 2012年conf/forte
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/2012
霍尔格·吉斯,格里戈·罗苏:
分布式系统的形式技术——第14届IFIP WG 6.1国际联合会议，FMOODS 2012和第32届IFIP工作组6.1国际会议，FORTE 2012，瑞典斯德哥尔摩，2012年6月13-16日。诉讼程序。计算机科学课堂讲稿7273,施普林格 2012，国际标准图书编号978-3-642-30792-8
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/LienhardtLMS12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/LienhardtLMS12
迈克尔·利恩哈特,伊万·拉内斯,克劳迪奥·安塔雷斯·梅齐纳,珍妮·伯纳德·斯特凡尼:
可逆抽象机及其空间开销。 1-17
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/JohnsonM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/JohnsonM12
泰勒·T·约翰逊,萨扬密特拉:
矩形混合自动机网络的一个小模型定理。 18-34
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/AbertFG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/AbertFG12
埃尔维拉·阿尔伯特,安东尼奥·弗洛雷斯-蒙托亚,萨米尔·吉纳伊姆:
并发对象中May-Hupan-in-Parallel的分析。 35-51
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/AmanCK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/AmanCK12
博格丹·阿曼,加布里埃尔·乔巴努,库特尼:
带计时器的迁移进程的行为等效性。 52-66
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/KlaiD12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/KlaiD12
凯斯·克莱,约格·德塞尔:
使用符号观察图组合检查业务流程的合理性。 67-83
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/KindermannJN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/KindermannJN12
罗兰·金德曼,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
超越拉索：完成基于SMT的时间自动机有界模型检查。 84-100
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/PrabhakarV12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/PrabhakarV12
帕维思拉·普拉巴卡,马赫什·维斯瓦纳坦:
多故障布尔程序的一致性测试。 101-117
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/BensalemBXS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/BensalemBQS12
萨德克·本萨勒姆,马吕斯·博兹加,让·奎尔贝夫,约瑟夫·西法基斯:
面向多方交互和优先级的基于知识的分布式冲突解决。 118-134
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/CeroneH12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/CeroneH12
安德烈亚·塞隆,马修·轩尼诗:
概率无线网络建模（扩展抽象）。 135-151
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/MilushevBC12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/MilushevBC12
迪米特·米卢舍夫,维姆·贝克,戴夫·克拉克:
通过符号执行实现无干扰。 152-168
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/Romero-HernandezF12型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/Romero-HernandezF12
大卫·罗梅罗·亨南德斯,大卫·德·弗鲁托斯·埃斯克里格:
为所有进程语义定义距离。 169-185
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/BartheCDPR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/BartheCDPR12
吉尔斯·巴特,胡安·曼努埃尔·克雷斯波,多米尼克·德弗里斯,弗兰克·皮森斯,Exequiel Rivas公司:
通过静态程序转换保护多执行。 186-202
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/DelahayeFHLN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/DelahayeFHLN12
Benoît Delahaye公司,乌里·法伦伯格,托马斯·汉津格,Axel Legay公司,德扬·尼科维奇:
同步接口理论和时间触发调度。 203-218
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/TasharofiKLLMA12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/TasharofiKLLMA12网址
萨米拉·塔沙罗菲,拉杰什·卡马尼,史蒂文·劳特伯格,Axel Legay公司,达科·马里诺夫,古尔·阿加:
TransDPOR：一种用于测试演员程序的新型动态部分阶缩减技术。 219-234
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/DelzannoSZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/DelzannoSZ12
乔治·德尔扎诺,阿诺德·桑尼尔,吉安路易吉·扎瓦塔罗:
具有节点和通信故障的Ad Hoc网络的验证。 235-250
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/ErleF12年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/EarleF12
克拉拉·贝纳克·厄尔,拉尔斯·奥克·弗雷德隆德:
使用McErlang验证定时Erlang程序。 251-267

服务

管理网站设置

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