% ------------------------------------------------------------------ %
%                                                                    %
% Datei: exkurs.tex                                                  %
% Autor: Oliver Nietsch                                              %
%                                                                    %
% Universitaet Hamburg                                               %
% Fachbereich Informatik                                             %
% Arbeitsbereich DBIS                                                %
%                                                                    %
% Thema: Diplomarbeit: Die Modellierung und Validierung dynamischen  %
%                      Systemverhaltens am Beispiel von StP/OMT      %
%                      und Tycoon                                    %
%                                                                    %
% Inhalt: LaTeX-Dokument: Diplomarbeit,                              %
%                         Kapitel 6: Exkurs: i-Logix STATEMATE       %
%                                                                    %
% Version vom  28. 5.1996                                            %
% ------------------------------------------------------------------ %

\chapter{Exkurs: i-Logix STATEMATE}
\label{Chap:Statemate}



\clearemptydoublepage
