Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems & Joseph, M. (1988). Formal techniques in real-time and fault-tolerant systems: Proceedings of a symposium, Warwick, UK, September 22-23, 1988. Springer-Verlag.
Chicago Style (17th ed.) CitationSymposium on Formal Techniques in Real-Time and Fault-Tolerant Systems and M. Joseph. Formal Techniques in Real-time and Fault-tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988. Berlin ; New York: Springer-Verlag, 1988.
MLA (8th ed.) CitationSymposium on Formal Techniques in Real-Time and Fault-Tolerant Systems and M. Joseph. Formal Techniques in Real-time and Fault-tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988. Springer-Verlag, 1988.
Warning: These citations may not always be 100% accurate.