APA citiranje

Roscoe, P., & Pragyesh. (2009). Local search in model checking.

Chicago Style (17th ed.) Citation

Roscoe, P., and Pragyesh. Local Search in Model Checking. 2009.

MLA citiranje

Roscoe, P., and Pragyesh. Local Search in Model Checking. 2009.

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