(2020). Model Checking and Artificial Intelligence. Springer Berlin Heidelberg.
Styl cytowania ChicagoModel Checking and Artificial Intelligence. Springer Berlin Heidelberg, 2020.
Styl cytowania MLAModel Checking and Artificial Intelligence. Springer Berlin Heidelberg, 2020.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..