Title of article
Local and global deadlock-detection in component-based systems are NP-hard
Author/Authors
Christoph Minnameier، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2007
Pages
7
From page
105
To page
111
Keywords
Safety/security in digital systems , Concurrency , computational complexity
Journal title
Information Processing Letters
Serial Year
2007
Journal title
Information Processing Letters
Record number
130459
Link To Document