%0 Book
%T Verfahren zur Propagierung von Zeitbedingungen und zur formalen Verifikation des zeitlichen Verhaltens beim Entwurf von Automatisierungssystemen
%A Bareiß, Reinhold
%7 Als Ms. gedr.
%I VDI-Verl.
%@ 3181403202
%K Hochschulschrift
%K Automatisierungssystem
%K Echtzeitsystem
%K Softwareentwicklung
%D 1993
%C VDI-Verl.
%C Düsseldorf
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation