Witkowski, T., Blanc, N., Weissenbacher, G., & Kroening, D. (2007). Model Checking Concurrent Linux Device Drivers. IEEE.
Lua i Stíl Chicago (17ú heag.)Witkowski, T., N. Blanc, G. Weissenbacher, agus D. Kroening. Model Checking Concurrent Linux Device Drivers. IEEE, 2007.
Lua MLA (9ú heag.)Witkowski, T., et al. Model Checking Concurrent Linux Device Drivers. IEEE, 2007.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.