APA Citation

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

Chicago Style Citation

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

MLA Citation

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

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