An approach to the formal specification of holonic control systems Chapter uri icon

publication date

  • 2003