On Detecting Deadlocks in Large UML Models - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
On Detecting Deadlocks in Large UML Models

On Detecting Deadlocks in Large UML Models

Export

All authors

Kersten, Michael and Nebel, Wolfgang

Booktitle

Design Methods and Applications for Distributed Embedded Systems

Publishing date

08 / 2004

ISBN / ISSN

1-4020-8148-0

Type of Publication

inproceedings

Publisher

KLUWER ACADEMIC PUBLISHERS; Boston, Dordrecht, London

Editor

KLUWER ACADEMIC PUBLISHERS; Boston, Dordrecht, London

OFFIS Autoren

Wolfgang Nebel

Privacy Data Transparency Contact Legals