APA引文

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引文

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

警告：這些引文格式不一定是100％准確.