APA (7. basım) Alıntı

(2008). Principles of model checking / Christel Baier, Joost-Pieter Katoen.

Chicago Style (17. basım) Atıf

Principles of Model Checking / Christel Baier, Joost-Pieter Katoen. 2008.

MLA (9th ed.) Atıf

Principles of Model Checking / Christel Baier, Joost-Pieter Katoen. 2008.

Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..