 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen  [1]
|
Hilfe 
|
 |
|
| Suche: Citkey="Minnameier/07" |
|
Local and global deadlock-detection in component-based systems are NP-hard
Christoph Minnameier
Information Processing Letters 103 (3), 2007, pp. 105-111
| Editors | A. Tarlecki | |
| Publisher: | Elsevier B.V. | |
| Address: | Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis | |
| Keywords: | computational complexity, concurrency, safety/security in digital systems | |
| URL: |
http://www.sciencedirect.com/science/article/B6V0F-4N7SBVC-1/2/e7ac1df14653063f8c9344a5a0df10d4 | |
|
|
|
|