Schellhorn, G. c. 2. J. (1994). Specification and verification of distributed technical systems with central control. Univ., Fak. für Informatik.
Chicago-Zitierstil (17. Ausg.)Schellhorn, Gerhard ca. 20./21. Jh. Specification and Verification of Distributed Technical Systems with Central Control. Karlsruhe: Univ., Fak. für Informatik, 1994.
MLA-Zitierstil (9. Ausg.)Schellhorn, Gerhard ca. 20./21. Jh. Specification and Verification of Distributed Technical Systems with Central Control. Univ., Fak. für Informatik, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.