(2020). Model Checking and Artificial Intelligence. Springer Berlin Heidelberg.
Trích dẫn kiểu ChicagoModel Checking and Artificial Intelligence. Springer Berlin Heidelberg, 2020.
MLA CitationModel Checking and Artificial Intelligence. Springer Berlin Heidelberg, 2020.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.