%0 Book
%T Data and control flow diagrams, statecharts and Z their formalization, integration and real time extension
%A Petersohn, Carsta
%I Inst. für Informatik und Praktische Mathematik
%K Hochschulschrift
%K Strukturierte Analyse
%K Echtzeitprogrammierung
%K Spezifikationssprache
%K Flussdiagramm
%D 1997
%C Inst. für Informatik und Praktische Mathematik
%C Kiel
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation