Deciding Liveness in Component-Based Systems is NP-hard

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch

Bibliographic citation
Technical Reports ; TR-2006-017

Keyword
NP-hartes Problem ; Komponente ; Lebendigkeit

Event
Veröffentlichung
(where)
Mannheim
(who)
Universitätsbibliothek Mannheim
(when)
2006
Creator
Martens, Moritz
Minnameier, Christoph
Majster-Cederbaum, Mila

URN
urn:nbn:de:bsz:180-madoc-13166
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:55 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • Martens, Moritz
  • Minnameier, Christoph
  • Majster-Cederbaum, Mila
  • Universitätsbibliothek Mannheim

Time of origin

  • 2006

Other Objects (12)