Baier, C., & Katoen, J. (2008). Principles of model checking. MIT Press.
Հաջողությամբ պատճենվել է միջանկյալ հիշողություն
Պատճենումը միջանկյալ հիշողություն ձախողվեց
Չիկագոյի ոճի (17րդ խմբ.) մեջբերում
Baier, Christel, and Joost-Pieter Katoen. Principles of Model Checking. Cambridge, Mass.: MIT Press, 2008.
Հաջողությամբ պատճենվել է միջանկյալ հիշողություն
Պատճենումը միջանկյալ հիշողություն ձախողվեց
MLA (9րդ խմբ.) Մեջբերում
Baier, Christel, and Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.
Հաջողությամբ պատճենվել է միջանկյալ հիշողություն
Պատճենումը միջանկյալ հիշողություն ձախողվեց
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.