@Book{639531881,
author="Lohmann, Niels",
title="Correctness of services and their composition",
year="2010",
abstract="We study correctness of services and their composition and investigate how the design of correct service compositions can be systematically supported. We thereby focus on the communication protocol of the service and approach these questions using formal methods and make contributions to three scenarios of SOC.",
note="door Niels Lohmann",
note="Rostock, Univ., Diss., 2010",
note="Zugl.: Eindhoven, Technische Universiteit, Proefschrift, 2010",
note="Online-Ausg.:",
note="[Online-Ausg.]",
note="Reproduktion 2010 [Online-Ausg.] Online-Ausg.: |2010||||||||||",
note="Langzeitarchivierung gew{\"a}hrleistet pdager",
url="http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2010-0138-3",
url="http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2010-0138-3&pdf",
url="http://nbn-resolving.de/urn:nbn:de:gbv:28-diss2010-0138-3",
url="http://d-nb.info/1010530356/34",
url="http://rosdok.uni-rostock.de/metadata/rosdok_disshab_000000000505",
language="English"
}