APA Edition Citation

Joseph, M. (2000). Formal techniques in real-time and fault tolerant systems. Springer.

Chicago Edition Citation

Joseph, Mathai. Formal Techniques in Real-time and Fault Tolerant Systems. New York: Springer, 2000.

MLA Edition Citation

Joseph, Mathai. Formal Techniques in Real-time and Fault Tolerant Systems. Springer, 2000.

Warning: These citations may not always be 100% accurate.