APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.