Static Deadlock Detection in the Linux Kernel

Peter Breuer; M Garcia Valls; A Llamosi; A Strohmeier

doi:10.1007/b97913

Static Deadlock Detection in the Linux Kernel

Peter Breuer
, M Garcia Valls
, A Llamosi
, A Strohmeier

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	52-64
Number of pages	13
DOIs	https://doi.org/10.1007/b97913
Publication status	Published - 1 Jun 2004
Event	Proceedings of Reliable Software Technologies - Ada-Europe 2004, 9th International Conference , Palma de Mallorca, Spain, 14-18 June, 2004 - Duration: 1 Jun 2004 → …

Conference

Conference	Proceedings of Reliable Software Technologies - Ada-Europe 2004, 9th International Conference , Palma de Mallorca, Spain, 14-18 June, 2004
Period	1/06/04 → …

Access to Document

10.1007/b97913

Cite this

@conference{bed94d2f295f453b8c5bee4b15f05b5a,

title = "Static Deadlock Detection in the Linux Kernel",

author = "Peter Breuer and \{Garcia Valls\}, M and A Llamosi and A Strohmeier",

year = "2004",

month = jun,

day = "1",

doi = "10.1007/b97913",

language = "English",

pages = "52--64",

note = "Proceedings of Reliable Software Technologies - Ada-Europe 2004, 9th International Conference , Palma de Mallorca, Spain, 14-18 June, 2004 ; Conference date: 01-06-2004",

}

TY - CONF

T1 - Static Deadlock Detection in the Linux Kernel

AU - Breuer, Peter

AU - Garcia Valls, M

AU - Llamosi, A

AU - Strohmeier, A

PY - 2004/6/1

Y1 - 2004/6/1

U2 - 10.1007/b97913

DO - 10.1007/b97913

M3 - Paper

SP - 52

EP - 64

T2 - Proceedings of Reliable Software Technologies - Ada-Europe 2004, 9th International Conference , Palma de Mallorca, Spain, 14-18 June, 2004

Y2 - 1 June 2004

ER -