id: 70816565
dt: a
an: 70816565
au: Karänke, Paul; Kirn, Stefan
ti: Towards model checking \& simulation of a multi-tier negotiation protocol
    for service chains
so: AAMAS, 1559-1560 (2010).
py: 2010
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1145/1838206.1838480