Behavioral modeling and verification of multi-agent systems for manufacturing control

W. L. Yeung. Behavioral modeling and verification of multi-agent systems for manufacturing control. Expert Syst. Appl., 38(11):13555-13562, 2011. [doi]

Abstract

Abstract is missing.