एपीए उद्धरण

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

शिकागो स्टाइल उद्धरण

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

एमएलए उद्धरण

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