@incollection{RISC2791,
author = {Wolfgang Schreiner},
title = {{Modellierung und Theorie verteilter Systeme}},
booktitle = {{Informatik-Handbuch}},
language = {german},
chapter = {A7},
pages = {167--186},
publisher = {Hanser},
isbn_issn = {ISBN 3-446-40185-7},
year = {2006},
note = {4. Auflage},
editor = {Peter Rechenberg and Gustav Pomberger},
refereed = {yes},
keywords = {Distributed Systems, Formal Methods},
length = {20}
}