Tools and Algorithms for the Construction and Analysis of Systems

MLA

Hutchison, David, Takeo Kanade, and Barbara König. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., & König, B. (2012). Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, and Barbara König. Tools and Algorithms for the Construction and Analysis of Systems. : Springer Berlin Heidelberg, 2012.