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

Beteiligte Personen

Beteiligte Einrichtungen