External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Model Checking Intelligent Information Systems with 3-Valued Timed Commitments

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]

Authors

Ghalya Alwhishi

This author has not been identified. Look up 'Ghalya Alwhishi' in Google

Nagat Drawel

This author has not been identified. Look up 'Nagat Drawel' in Google

Jamal Bentahar

This author has not been identified. Look up 'Jamal Bentahar' in Google
runs on