Dyfyniad APA

Witkowski, T., Blanc, N., Weissenbacher, G., & Kroening, D. (2007). Model Checking Concurrent Linux Device Drivers. IEEE.

Dyfyniad Arddull Chicago

Witkowski, T., N. Blanc, G. Weissenbacher, and D. Kroening. Model Checking Concurrent Linux Device Drivers. IEEE, 2007.

Dyfyniad MLA

Witkowski, T., et al. Model Checking Concurrent Linux Device Drivers. IEEE, 2007.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.