%0 Conference Paper %1 conf/mobiwis/AlwhishiDB22 %A Alwhishi, Ghalya %A Drawel, Nagat %A Bentahar, Jamal %B MobiWIS %D 2022 %E Awan, Irfan %E Younas, Muhammad %E Poniszewska-Maranda, Aneta %I Springer %K dblp %P 237-251 %T Model Checking Intelligent Information Systems with 3-Valued Timed Commitments. %U http://dblp.uni-trier.de/db/conf/mobiwis/mobiwis2022.html#AlwhishiDB22 %V 13475 %@ 978-3-031-14391-5

@inproceedings{conf/mobiwis/AlwhishiDB22, added-at = {2022-08-25T00:00:00.000+0200}, author = {Alwhishi, Ghalya and Drawel, Nagat and Bentahar, Jamal}, biburl = {https://www.bibsonomy.org/bibtex/2a7d3c9f1dba1bf8edba6d07150012076/dblp}, booktitle = {MobiWIS}, crossref = {conf/mobiwis/2022}, editor = {Awan, Irfan and Younas, Muhammad and Poniszewska-Maranda, Aneta}, ee = {https://doi.org/10.1007/978-3-031-14391-5_18}, interhash = {5735f97d493810be826b9019b2a4d50d}, intrahash = {a7d3c9f1dba1bf8edba6d07150012076}, isbn = {978-3-031-14391-5}, keywords = {dblp}, pages = {237-251}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:47:50.000+0200}, title = {Model Checking Intelligent Information Systems with 3-Valued Timed Commitments.}, url = {http://dblp.uni-trier.de/db/conf/mobiwis/mobiwis2022.html#AlwhishiDB22}, volume = 13475, year = 2022 }