(2020). Model Checking and Artificial Intelligence. Springer Berlin Heidelberg.
Trích dẫn kiểu ChicagoModel Checking and Artificial Intelligence. Springer Berlin Heidelberg, 2020.
Deismireacht MLAModel Checking and Artificial Intelligence. Springer Berlin Heidelberg, 2020.
Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.