Bartocci. (2013). Model Checking Software (1.). Springer Berlin Heidelberg.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումBartocci. Model Checking Software. 1. Springer Berlin Heidelberg, 2013.
MLA (8րդ խմբ.) ՄեջբերումBartocci. Model Checking Software. 1. Springer Berlin Heidelberg, 2013.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.