Formal verification of negotiation protocols for multi-agent manufacturing systems

Wing Lok YEUNG

Research output: Journal PublicationsJournal Article (refereed)peer-review

2 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Formal verification of negotiation protocols for multi-agent manufacturing systems'. Together they form a unique fingerprint.

Computer Science