Ghalya Alwhishi, Nagat Drawel, Jamal Bentahar. Model Checking Intelligent Information Systems with 3-Valued Timed Commitments. In Irfan Awan, Muhammad Younas 0001, Aneta Poniszewska-Maranda, editors, Mobile Web and Intelligent Information Systems - 18th International Conference, MobiWIS 2022, Rome, Italy, August 22-24, 2022, Proceedings. Volume 13475 of Lecture Notes in Computer Science, pages 237-251, Springer, 2022. [doi]
@inproceedings{AlwhishiDB22,
title = {Model Checking Intelligent Information Systems with 3-Valued Timed Commitments},
author = {Ghalya Alwhishi and Nagat Drawel and Jamal Bentahar},
year = {2022},
doi = {10.1007/978-3-031-14391-5_18},
url = {https://doi.org/10.1007/978-3-031-14391-5_18},
researchr = {https://researchr.org/publication/AlwhishiDB22},
cites = {0},
citedby = {0},
pages = {237-251},
booktitle = {Mobile Web and Intelligent Information Systems - 18th International Conference, MobiWIS 2022, Rome, Italy, August 22-24, 2022, Proceedings},
editor = {Irfan Awan and Muhammad Younas 0001 and Aneta Poniszewska-Maranda},
volume = {13475},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-14391-5},
}