Tools and Algorithms for the Construction and Analysis of Systems

MLA

Abdulla, Parosh Aziz, et al. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2011.

APA

Abdulla, P. Aziz, Kanade, T., Leino, K. Rustan M, & Kittler, J. (2011). Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg.

Chicago

Abdulla, Parosh Aziz, Takeo Kanade, K. Rustan M Leino, and Josef Kittler. Tools and Algorithms for the Construction and Analysis of Systems. : Springer Berlin Heidelberg, 2011.