Tools and Algorithms for the Construction and Analysis of Systems

MLA

Ramakrishnan, C. R, et al. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2008.

APA

Ramakrishnan, C. R, Kanade, T., Rehof, J., & Kittler, J. (2008). Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg.

Chicago

Ramakrishnan, C. R., Takeo Kanade, Jakob Rehof, and Josef Kittler. Tools and Algorithms for the Construction and Analysis of Systems. : Springer Berlin Heidelberg, 2008.