APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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