APA (7th ed.) Citation

Juan, E. Y. T., & Tsai, J. J. P. (2002). Compositional Verification of Concurrent and Real-Time Systems. Springer US. https://doi.org/10.1007/978-1-4615-1009-3

Chicago Style (17th ed.) Citation

Juan, Eric Y. T., and Jeffrey J. P. Tsai. Compositional Verification of Concurrent and Real-Time Systems. Boston, MA: Springer US, 2002. https://doi.org/10.1007/978-1-4615-1009-3.

MLA (9th ed.) Citation

Juan, Eric Y. T., and Jeffrey J. P. Tsai. Compositional Verification of Concurrent and Real-Time Systems. Springer US, 2002. https://doi.org/10.1007/978-1-4615-1009-3.