Tools and Algorithms for the Construction and Analysis of Systems

MLA

Sankaranarayanan, Sriram, and Natasha Sharygina. Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland, 2023.

APA

Sankaranarayanan, S., & Sharygina, N. (2023). Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland.

Chicago

Sankaranarayanan, Sriram, and Natasha Sharygina. Tools and Algorithms for the Construction and Analysis of Systems. : Springer Nature Switzerland, 2023.