Tools and Algorithms for the Construction and Analysis of Systems

MLA

Vojnar, and Lijun Zhang. Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2019.

APA

Vojnar, V., & Zhang, L. (2019). Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing.

Chicago

Vojnar, and Lijun Zhang. Tools and Algorithms for the Construction and Analysis of Systems. : Springer International Publishing, 2019.