APA-Zitierstil (7. Ausg.)

(1988). Formal techniques in real-time and fault-tolerant systems: Proceedings of a symposium, Warwick, UK, Sept. 22 - 23, 1988. Springer. https://doi.org/10.1007/3-540-50302-1

Chicago-Zitierstil (17. Ausg.)

Formal Techniques in Real-time and Fault-tolerant Systems: Proceedings of a Symposium, Warwick, UK, Sept. 22 - 23, 1988. Berlin u.a: Springer, 1988. https://doi.org/10.1007/3-540-50302-1.

MLA-Zitierstil (9. Ausg.)

Formal Techniques in Real-time and Fault-tolerant Systems: Proceedings of a Symposium, Warwick, UK, Sept. 22 - 23, 1988. Springer, 1988. https://doi.org/10.1007/3-540-50302-1.