APA (7th ed.) Citation

Ruf, J. (2000). Techniken zur Modellierung und Verifikation von Echtzeitsystemen. Logos-Verl.

Chicago Style (17th ed.) Citation

Ruf, Jürgen. Techniken Zur Modellierung Und Verifikation Von Echtzeitsystemen. Berlin: Logos-Verl, 2000.

MLA (9th ed.) Citation

Ruf, Jürgen. Techniken Zur Modellierung Und Verifikation Von Echtzeitsystemen. Logos-Verl, 2000.