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]
Abstract is missing.