Items where authors include "El-Menshawy, M."
![[up]](/style/images/multi_up.png)
Up a levelJump to: Article
Number of items: 1.
Article
El Kholy, W., El-Menshawy, M., Bentahar, J. et al. (2 more authors) (2015) Formal Specification and Automatic Verification of Conditional Commitments. IEEE Intelligent Systems, 30 (2). 36 - 44. ISSN 1541-1672