Gaya APA

Beyer, D. et al (2019). Tools and Algorithms for the Construction and Analysis of Systems (1st ed. 2019). : Springer International Publishing.

Gaya MLA

Beyer, Dirk. et al. "Tools and Algorithms for the Construction and Analysis of Systems". 1st ed. 2019 : Springer International Publishing, 2019. Electronic Resource.