//-->
Formal verification of negotiation protocols for multi-agent manufacturing systems
Yeung, W. L., (2011)
Agent-based manufacturing control based on distributed bid selection and publish-subscribe messaging : a simulation case study
Yeung, W. L., (2012)