![](/img/cover-not-exists.png)
Communicative commitments: Model checking and complexity analysis
Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida DssouliVolume:
35
Year:
2012
Language:
english
DOI:
10.1016/j.knosys.2012.04.010
File:
PDF, 592 KB
english, 2012