APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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