APA引文

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引文

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