APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.