APA-Zitierstil (7. Ausg.)
Vytopil, J. (1991). Formal techniques in real-time and fault-tolerant systems: Konf. Nijmegen, Netherlands, 8.- 10. Jan. 1992 (1.vyd.). Springer Verlag.
Chicago-Zitierstil (17. Ausg.)
Vytopil, J. Formal Techniques in Real-time and Fault-tolerant Systems: Konf. Nijmegen, Netherlands, 8.- 10. Jan. 1992. 1.vyd. Berlin: Springer Verlag, 1991.
MLA-Zitierstil (9. Ausg.)
Vytopil, J. Formal Techniques in Real-time and Fault-tolerant Systems: Konf. Nijmegen, Netherlands, 8.- 10. Jan. 1992. 1.vyd. Springer Verlag, 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.