Παραπομπή APA

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

Παραπομπή Chicago Style

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

Παραπομπή MLA

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

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.