Model checking concurrent linux device drivers (ASE '07 Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, 2007)

(untitled) - Witkowski, T; Blanc, N; Kroening, D; Weissenbacher, G