APA-Zitierstil (7. Ausg.)

(1992). Formal techniques in real-time and fault-tolerant systems: Proceedings second international symposium, Nijmegen, The Netherlands, January 8 - 10, 1992. Springer.

Chicago-Zitierstil (17. Ausg.)

Formal Techniques in Real-time and Fault-tolerant Systems: Proceedings Second International Symposium, Nijmegen, The Netherlands, January 8 - 10, 1992. Berlin [u.a.]: Springer, 1992.

MLA-Zitierstil (9. Ausg.)

Formal Techniques in Real-time and Fault-tolerant Systems: Proceedings Second International Symposium, Nijmegen, The Netherlands, January 8 - 10, 1992. Springer, 1992.