Publikationen

Titel

On Detecting Deadlocks in Large UML Models

Publikationsart

Tagungsbeitrag

Alle Autoren

Kersten, Michael; Nebel, Wolfgang

Buchtitel

Design Methods and Applications for Distributed Embedded Systems

Erscheinungsdatum

2004

Herausgeber

KLUWER ACADEMIC PUBLISHERS; Boston, Dordrecht, London

Verlag

KLUWER ACADEMIC PUBLISHERS; Boston, Dordrecht, London

ISBN

1-4020-8148-0