Case studies for contract-based systems

Michal Jakob, Michal Pechoucek, Simon Miles, Michael Luck. Case studies for contract-based systems. In Michael Berger, Bernard Burg, Satoshi Nishiyama, editors, 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Industry and Applications Track Proceedings. pages 55-62, IFAAMAS, 2008. [doi]

Authors

Michal Jakob

This author has not been identified. Look up 'Michal Jakob' in Google

Michal Pechoucek

This author has not been identified. Look up 'Michal Pechoucek' in Google

Simon Miles

Identified as Simon Miles

Michael Luck

This author has not been identified. It may be one of the following persons: Look up 'Michael Luck' in Google