(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.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.