.png){kind=icon}
.png){kind=icon}
Return
Formal Specification and Automatic Verification of Conditional Commitments
.png){kind=icon}
OA
AI
DOI：10.1109/MIS.2015.6.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En
Keywords:
MODEL CHECKING
AGENT COMMUNICATION
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
6.1
Papers:
1.6K
Citations:
4.5K