@phdthesis{Kna08,
AUTHOR = {Knapp, Steffen},
TITLE = {The Correctness of a Distributed Real-Time System},
YEAR = {2008},
Warning: Undefined variable $SERVER_NAME in /www/www-wjp/includes/bibtexentry.php on line 42
URL = {http:///publikationen/Kna08.pdf},
SCHOOL = {Universität des Saarlandes},
}