Format:
IX, 147 S.
,
graph. Darst.
ISBN:
3897225069
Series Statement:
Hallenser Schriften zur Automatisierungstechnik 1
Note:
Zugl.: Halle, Wittenberg, Univ., Diss., 2000
Language:
German
Subjects:
Engineering
Keywords:
Steuerungssystem
;
Systementwurf
;
Systemsynthese
;
Formale Spezifikationstechnik
;
Petri-Netz
;
Hochschulschrift
;
Hochschulschrift
Author information:
Lüder, Arndt 1968-