APA način citiranja

(2020). Model Checking and Artificial Intelligence. Springer Berlin Heidelberg.

Čikaški stil citiranja

Model Checking and Artificial Intelligence. Springer Berlin Heidelberg, 2020.

MLA način citiranja

Model Checking and Artificial Intelligence. Springer Berlin Heidelberg, 2020.

Upozorenje: Ovi citati možda nisu uvijek 100% točni.