Citace podle APA

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

Styl Chicago

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

Citace podle MLA

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

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..