Tools and Algorithms for the Construction and Analysis of Systems

MLA

Hutchison, David; Kanade, Takeo; Kittler, Josef, Josef Kittler, and Scott Smolka. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2013.

APA

Hutchison, J., Kittler, J., & Smolka, S. (2013). Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg.

Chicago

Hutchison, David; Kanade, Takeo; Kittler, Josef, Josef Kittler, and Scott Smolka. Tools and Algorithms for the Construction and Analysis of Systems. : Springer Berlin Heidelberg, 2013.