Roscoe, P., & Pragyesh. (2009). Local search in model checking.
Citace podle Chicago (17th ed.)Roscoe, P., a Pragyesh. Local Search in Model Checking. 2009.
Citace podle MLA (9th ed.)Roscoe, P., a Pragyesh. Local Search in Model Checking. 2009.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..