Tools and Algorithms for the Construction and Analysis of Systems

MLA

Beyer, et al. Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2019.

APA

Beyer, B., Huisman, M., Kordon, F., & Steffen, B. (2019). Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing.

Chicago

Beyer, Marieke Huisman, Fabrice Kordon, and Bernhard Steffen. Tools and Algorithms for the Construction and Analysis of Systems. : Springer International Publishing, 2019.