Roscoe, P., & Pragyesh. (2009). Local search in model checking.
Chicago-Zitierstil (17. Ausg.)Roscoe, P., und Pragyesh. Local Search in Model Checking. 2009.
MLA-Zitierstil (9. Ausg.)Roscoe, P., und Pragyesh. Local Search in Model Checking. 2009.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.