Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.