| Title | Automatic Verification of Communicative Commitments using Reduction |
| Publication Type | Journal Article |
| Year of Publication | 2018 |
| Authors | Al-diabat, M, Al-saqqar, F, Al-saqqar, A |
| Journal | Journal of Intelligent Computing |
| Volume | 9 |
| Issue | 3 |
| Pagination | 114-128 |
| Date Published | 09/2018 |
| Type of Article | Research |
Collaborative Partner
Institute of Electronic and Information Technology (IEIT)
