APA citiranje

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

Chicago Style (17th ed.) Citation

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

MLA citiranje

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

Opozorilo: Ti citati niso vedno 100% točni.