Formal Specification and Automatic Verification of Conditional Commitments

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



  • El Kholy, W.
  • El-Menshawy, M.
  • Bentahar, J.
  • Qu, H.
  • Dssouli, R.
Copyright, Publisher and Additional Information: © 2015 IEEE. This is an author produced version of a paper subsequently published in IEEE Inteligent Systems. Uploaded in accordance with the publisher's self-archiving policy.
  • Published: 1 March 2015
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Automatic Control and Systems Engineering (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 19 May 2015 13:04
Last Modified: 27 Mar 2018 06:32
Published Version:
Status: Published
Publisher: IEEE
Refereed: Yes
Identification Number:

Share / Export