Gaya APA

Winikoff, S, C, A, M. (2012). Verifying social expectations by model checking truncated paths . : .

Gaya MLA

Winikoff, Stephen, Cranefield, And, Michael. "Verifying social expectations by model checking truncated paths". : , 2012. Text.