Analysis and Verification of Multiple-Agent Languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers /

Documenti analoghi

• Implementation of Functional Languages : 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers /
  di: Thomas Arts, Markus Mohnen
  Pubblicazione: (2002, c2002)
• Activity Monitoring by Multiple Distributed Sensing : Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers /
  Pubblicazione: (2014, c2014)
• Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers /
  di: Saddek Bensalem, Doron A. Peled
  Pubblicazione: (2009, c2009)
• Specification and Verification of Multi-agent Systems /
  di: Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer
  Pubblicazione: (2010, c2010)
• Multiple-factor analysis : a development and expansion of the vectors of mind.
  di: Thurstone, L.L
  Pubblicazione: (1969.)