Peter T. Breuer, Marisol García-Valls. Static Deadlock Detection in the Linux Kernel. In Albert Llamosí, Alfred Strohmeier, editors, Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings. Volume 3063 of Lecture Notes in Computer Science, pages 52-64, Springer, 2004. [doi]
Abstract is missing.