Roscoe, P., & Pragyesh. (2009). Local search in model checking.
Cytowanie według stylu Chicago (wyd. 17)Roscoe, P., i Pragyesh. Local Search in Model Checking. 2009.
Cytowanie według stylu MLA (wyd. 9)Roscoe, P., i Pragyesh. Local Search in Model Checking. 2009.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..