Authors: Oliver Nietsch
Title: Modellierung und Validierung dynamischen Systemverhaltens am Beispiel
       von Tycoon und StP/OMT
Source file: source/dipl.tex
Print file: dipl.ps.gz