Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.