Artikel
Security of Multi-Agent Systems: A Case Study on Comparison Shopping
Dieter Hutter; Heiko Mantel; Ina Schäfer; Axel Schairer
In: Journal of Applied Logic. Special Issue on Logic Based Agent Verification, Vol. Article in press, doi:10.1016/j.jal.2005.12.015, 2006.