APA引用形式

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

シカゴスタイル引用形

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

MLA引用形式

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

警告: この引用は必ずしも正確ではありません.