Tools and Algorithms for the Construction and Analysis of Systems

MLA

Baier, and Cesare Tinelli. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2015.

APA

Baier, B., & Tinelli, C. (2015). Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg.

Chicago

Baier, and Cesare Tinelli. Tools and Algorithms for the Construction and Analysis of Systems. : Springer Berlin Heidelberg, 2015.