APA Citation

Jahundovics, V. (2015). Automatic Verification of Parameterized Systems by Over-Approximation. Linköping: Linkopings Universitet.

Chicago Style Citation

Jahundovics, Vladislavs. Automatic Verification of Parameterized Systems By Over-Approximation. Linköping: Linkopings Universitet, 2015.

MLA Citation

Jahundovics, Vladislavs. Automatic Verification of Parameterized Systems By Over-Approximation. Linköping: Linkopings Universitet, 2015.

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