APA Citation

Ganjei, Z. (2021). Parameterized Verification of Synchronized Concurrent Programs. Linköping: Linkopings Universitet.

Chicago Style Citation

Ganjei, Zeinab. Parameterized Verification of Synchronized Concurrent Programs. Linköping: Linkopings Universitet, 2021.

MLA Citation

Ganjei, Zeinab. Parameterized Verification of Synchronized Concurrent Programs. Linköping: Linkopings Universitet, 2021.

Warning: These citations may not always be 100% accurate.