Gaya APA

Weddell, S, B, R, T, A, G. (2010). Model Checking Using Description Logic . : .

Gaya MLA

Weddell, Shoham, Ben-David,, Richard, Trefler,, And, Grant. "Model Checking Using Description Logic". : , 2010. Text.