Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli. Conditional Commitments: Reasoning and Model Checking. ACM Transactions on Software Engineering Methodology, 24(2):9, 2014. [doi]
@article{KholyBEQD14-0,
title = {Conditional Commitments: Reasoning and Model Checking},
author = {Warda El Kholy and Jamal Bentahar and Mohamed El-Menshawy and Hongyang Qu and Rachida Dssouli},
year = {2014},
doi = {10.1145/2685613},
url = {http://doi.acm.org/10.1145/2685613},
researchr = {https://researchr.org/publication/KholyBEQD14-0},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Software Engineering Methodology},
volume = {24},
number = {2},
pages = {9},
}