%0 Journal Article %1 journals/tosem/KholyBEQD14 %A Kholy, Warda El %A Bentahar, Jamal %A El-Menshawy, Mohamed %A Qu, Hongyang %A Dssouli, Rachida %D 2014 %J ACM Trans. Softw. Eng. Methodol. %K %N 2 %P 9:1-9:49 %T Conditional Commitments: Reasoning and Model Checking. %U http://dblp.uni-trier.de/db/journals/tosem/tosem24.html#KholyBEQD14 %V 24

@article{journals/tosem/KholyBEQD14, added-at = {2023-12-12T18:29:26.000+0100}, author = {Kholy, Warda El and Bentahar, Jamal and El-Menshawy, Mohamed and Qu, Hongyang and Dssouli, Rachida}, biburl = {https://www.bibsonomy.org/bibtex/26b94c0ac31f80060ed86849b63091805/admin}, ee = {https://doi.org/10.1145/2685613}, interhash = {1306bc9420a9f129939dff2569cc8386}, intrahash = {6b94c0ac31f80060ed86849b63091805}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {}, number = 2, pages = {9:1-9:49}, timestamp = {2023-12-12T18:29:26.000+0100}, title = {Conditional Commitments: Reasoning and Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem24.html#KholyBEQD14}, volume = 24, year = 2014 }