Tools and Algorithms for the Construction and Analysis of Systems

MLA

Kowalewski, Stefan, et al. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2009.

APA

Kowalewski, S., Kanade, T., Philippou, A., & Kittler, J. (2009). Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg.

Chicago

Kowalewski, Stefan, Takeo Kanade, Anna Philippou, and Josef Kittler. Tools and Algorithms for the Construction and Analysis of Systems. : Springer Berlin Heidelberg, 2009.