Media type: E-Article Title: Mobile Web and Intelligent Information Systems: Model Checking Intelligent Information Systems with 3-Valued Timed Commitments Contributor: Alwhishi, Ghalya; Drawel, Nagat; Bentahar, Jamal imprint: Springer International Publishing, 2022 Published in: Mobile Web and Intelligent Information Systems Language: Not determined DOI: 10.1007/978-3-031-14391-5_18 ISSN: 0302-9743; 1611-3349 Origination: Footnote: