APA (7th ed.) Citation

(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 Style (17th ed.) Citation

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 (9th ed.) Citation

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.