APA (7th ed.) Citation

Lee, P., Garavel, H., & Hatcliff, J. (2003). Tools and algorithms for the construction and analysis of systems: Proceedings, Warsaw, Poland, April 7 - 11, 2003 ([1st ed.].). Springer.

Chicago Style (17th ed.) Citation

Lee, Peter, H. Garavel, and J. Hatcliff. Tools and Algorithms for the Construction and Analysis of Systems: Proceedings, Warsaw, Poland, April 7 - 11, 2003. [1st ed.]. Berlin: Springer, 2003.

MLA (9th ed.) Citation

Lee, Peter, et al. Tools and Algorithms for the Construction and Analysis of Systems: Proceedings, Warsaw, Poland, April 7 - 11, 2003. [1st ed.]. Springer, 2003.