Merkliste 
 1 Ergebnisse 
 
1

Towards model checking & simulation of a multi-tier negotia..:

, In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1,
Karaenke, Paul ; Kirn, Stefan - p. 1559-1560 , 2010