Formal Specification and Automatic Verification of Conditional Commitments
Formal Specification and Automatic Verification of Conditional Commitments
复制标题
有条件承诺的正式规范和自动验证
DOI：
10.1109/mis.2015.6
复制
发表时间：
2015
影响因子：
6.4
通讯作者：
El Kholy W
中科院分区：
文献类型：
--
作者：
El Kholy W
影响因子：
1.9
作者：
F. Chesani;P. Mello;M. Montali;Paolo Torroni
通讯作者：
Paolo Torroni
DOI：
--
发表时间：
2013
期刊：
Adaptive Agents and Multi-Agent Systems
影响因子：
--
作者：
W. E. Kholy;M. El;J. Bentahar;Hongyang Qu;R. Dssouli
通讯作者：
R. Dssouli