Compositional formal specification of multi-agent systems

  • Authors:
  • Barbara Dunin-Keplicz;Jan Treur

  • Affiliations:
  • Univ. of Warsaw, Warszawa, Poland;Free Univ. Amsterdam, Amsterdam, The Netherlands

  • Venue:
  • ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract