Tools and Algorithms for the Construction and Analysis of Systems

MLA

Halbwachs, Nicolas, et al. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin / Heidelberg, 2005.

APA

Halbwachs, N., Kanade, T., Zuck, L. D, Zuck, L., & Kittler, J. (2005). Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin / Heidelberg.

Chicago

Halbwachs, Nicolas, Takeo Kanade, Lenore D Zuck, Lenore Zuck, and Josef Kittler. Tools and Algorithms for the Construction and Analysis of Systems. : Springer Berlin / Heidelberg, 2005.