停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2013年第一届LAFM：阿根廷布宜诺斯艾利斯

>主页 >系列

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/AguirreR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AguirreR14
纳扎雷诺·阿吉雷,莱拉·里贝罗:
《第一届拉丁美洲正式方法研讨会论文集》，2013年拉丁美洲正式方法研讨会，阿根廷布宜诺斯艾利斯，2013年8月26日。 EPTCS系统139,2014

全文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/CastanoGGTZ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CastanoGGTZ14
罗德里戈·卡斯塔尼奥,胡安·巴勃罗·加莱奥蒂,迭戈·加伯维斯基,乔纳森·塔皮塞,埃德加多·佐皮:
关于使用代码协定验证资源协定。 1-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/CastroM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CastroM14网址
巴勃罗·卡斯特罗,T.S.E.Maibaum公司:
基于有限词汇道义动作逻辑的自动推理。 16-30
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/CassanoM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CassanoM14网站
瓦伦丁·卡萨诺,T·S·E·迈鲍姆:
并发系统设计中的动作和事件。 31-45

短/工具文件

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/RegisVR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/RegisVR14
Germanán Regis公司,费尔南多·维拉尔,尼科拉斯·里奇:
Fluent Logic Workflow Analyzer：用于验证工作流属性的工具。 46-51
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/JuniorD14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/JuniorD14
瓦列里奥·梅德罗斯·朱尼尔,大卫·戴哈贝:
BEval：使用当前验证技术扩展工作室B的插件。 53-58
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BenderskyGG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BenderskyGG14
巴勃罗·本德斯基,胡安·巴勃罗·加莱奥蒂,迭戈·加伯韦茨基:
DynAlloy可视化工具。 59-64
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/GimenezMPF14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GimenezMPF14
曼努埃尔·吉梅内斯,玛丽亚诺·莫斯卡托,卡洛斯·古斯塔沃·洛佩斯·蓬博,马塞洛·F·弗里亚斯:
异构软件规范的混合分析框架。 65-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/ScilingoND14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ScilingoND14
加斯托恩·西林戈,玛丽亚·玛塔·诺瓦拉,伦佐·德吉奥瓦尼:
使用模型检查分析表格规范的行为场景。 71-76

服务

管理网站设置

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