Compositional formal specification of multi-agent systems

B.M. Dunin-Keplicz, J. Treur

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Fingerprint

Dive into the research topics of 'Compositional formal specification of multi-agent systems'. Together they form a unique fingerprint.

Computer Science