Tools and Algorithms for the Construction and Analysis of Systems

MLA

Hermanns, Holger, et al. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin / Heidelberg, 2006.

APA

Hermanns, H., Kanade, T., Palsberg, J., & Kittler, J. (2006). Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin / Heidelberg.

Chicago

Hermanns, Holger, Takeo Kanade, Jens Palsberg, and Josef Kittler. Tools and Algorithms for the Construction and Analysis of Systems. : Springer Berlin / Heidelberg, 2006.