Tools and Algorithms for the Construction and Analysis of Systems

MLA

Groote, Jan Friso, and Kim Guldstrand Larsen. Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2021.

APA

Groote, J. Friso, & Larsen, K. Guldstrand. (2021). Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing.

Chicago

Groote, Jan Friso, and Kim Guldstrand Larsen. Tools and Algorithms for the Construction and Analysis of Systems. : Springer International Publishing, 2021.