Tools and Algorithms for the Construction and Analysis of Systems

MLA

Esparza, Javier, et al. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2010.

APA

Esparza, J., Kanade, T., Majumdar, R., & Kittler, J. (2010). Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg.

Chicago

Esparza, Javier, Takeo Kanade, Rupak Majumdar, and Josef Kittler. Tools and Algorithms for the Construction and Analysis of Systems. : Springer Berlin Heidelberg, 2010.