Publikationen

Titel

On Detecting Deadlocks in Large UML Models - based on an Expressive Subset

Publikationsart

Tagungsbeitrag

Alle Autoren

Kersten, Michael; Nebel, Wolfgang

Buchtitel

Tagungsband DIPES'04

Erscheinungsdatum

2004

Veranstalter der Konferenz

DIPES'04, IFIP Working Conference on Distributed and Parallel Embedded Systems