Items where Author is "El Kholy, Warda"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 2.
El Kholy, Warda (2016) Formal Specification and Automatic Verification of Multi-Agent Conditional Commitments and their Applications. PhD thesis, Concordia University.
El Menshawy, Mohamed, Bentahar, Jamal, El Kholy, Warda and Dssouli, Rachida (2013) Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*. Autonomous Agents and Multi-Agent Systems, 27 (3). pp. 375-418. ISSN 1387-2532
