| Original language | English |
|---|---|
| Title of host publication | Holonic and Multi-Agent Systems for Manufacturing |
| Publication status | Published - 2003 |
An approach for the formal specification of Holonic control systems
P. Leitão, W. Colombo, Francisco Restivo
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution