Formal verification of negotiation protocols for multi-agent manufacturing systems

Author: Yeung W. L.  

Publisher: Taylor & Francis Ltd

ISSN: 0020-7543

Source: International Journal of Production Research, Vol.49, Iss.12, 2011-06, pp. : 3669-3690

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract