APA (7th ed.) Citation

Joseph, M. (1996). Real-time systems: Specification, verification and analysis. Prentice-Hall.

Chicago Style (17th ed.) Citation

Joseph, Mathai. Real-time Systems: Specification, Verification and Analysis. London: Prentice-Hall, 1996.

MLA (9th ed.) Citation

Joseph, Mathai. Real-time Systems: Specification, Verification and Analysis. Prentice-Hall, 1996.

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