Model Checking Concurrent Linux Device Drivers (22nd IEEE International Conference on Automated Software Engineering (ASE), 2007)

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