APA (7. basım) Alıntı
Baier, C., & Katoen, J. (2008). Principles of model checking. MIT Press.
Chicago Style (17. basım) Atıf
Baier, Christel, ve Joost-Pieter Katoen. Principles of Model Checking. Cambridge, Mass.: MIT Press, 2008.
MLA (9th ed.) Atıf
Baier, Christel, ve Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..