Tools and Algorithms for the Construction and Analysis of Systems

MLA

Marsha Chechik, Jean-François Raskin, and Jean-François Raskin. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2016.

APA

Marsha Chechik, J. Raskin, & Raskin, J. (2016). Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg.

Chicago

Marsha Chechik, Jean-François Raskin, and Jean-François Raskin. Tools and Algorithms for the Construction and Analysis of Systems. : Springer Berlin Heidelberg, 2016.