Items where Author is "Shakshuki, Elhadi"
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.
Article
Drawel, Nagat, Qu, Hongyang, Bentahar, Jamal and Shakshuki, Elhadi (2018) Specification and automatic verification of trust-based multi-agent systems. Future Generation Computer Systems . ISSN 0167739X (In Press)