Towards Model Checking & Simulation of a Multi-Tier Negotiation Protocol for Service Chains (Extended Abstract)
- Publikations-Art
- Kongressbeitrag
- Autoren
- Karaenke, P.; Kirn, S.
- Erscheinungsjahr
- 2010
- Veröffentlicht in
- Proceedings of the 9th International Conference on Autonomous Agents and Multiagents Systems (AAMAS 2010)
- Seite (von - bis)
- 1559-1560
- Tagungsort
- Toronto, Kanada
- Tagungsdatum
- 10.-14. Mai 2010