Fingerprint
Dive into the research topics of 'Model Checking Intelligent Information Systems with 3-Valued Timed Commitments'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Model Checking Intelligent Information Systems with 3-Valued Timed Commitments
Ghalya Alwhishi, Nagat Drawel, Jamal Bentahar
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4
Scopus
citations