APA (7th ed.) Citation

Bareiß, R. (1993). Verfahren zur Propagierung von Zeitbedingungen und zur formalen Verifikation des zeitlichen Verhaltens beim Entwurf von Automatisierungssystemen (Als Ms. gedr.). VDI-Verl.

Chicago Style (17th ed.) Citation

Bareiß, Reinhold. Verfahren Zur Propagierung Von Zeitbedingungen Und Zur Formalen Verifikation Des Zeitlichen Verhaltens Beim Entwurf Von Automatisierungssystemen. Als Ms. gedr. Düsseldorf: VDI-Verl, 1993.

MLA (9th ed.) Citation

Bareiß, Reinhold. Verfahren Zur Propagierung Von Zeitbedingungen Und Zur Formalen Verifikation Des Zeitlichen Verhaltens Beim Entwurf Von Automatisierungssystemen. Als Ms. gedr. VDI-Verl, 1993.