Items where Author is "Qu, Hongyang"
Group by: Item Type | No Grouping
Number of items: 1.
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)