Michael Kersten, Wolfgang Nebel. On Detecting Deadlocks in Large UML Models. In Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz, Lisa Kleinjohann, Achim Rettberg, editors, Design Methods and Applications for Distributed Embedded Systems, IFIP 18th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), 22-27 August 2004, Toulouse, France. pages 11-20, Kluwer, 2004.
@inproceedings{KerstenN04,
title = {On Detecting Deadlocks in Large UML Models},
author = {Michael Kersten and Wolfgang Nebel},
year = {2004},
tags = {meta-model, UML, Meta-Environment},
researchr = {https://researchr.org/publication/KerstenN04},
cites = {0},
citedby = {0},
pages = {11-20},
booktitle = {Design Methods and Applications for Distributed Embedded Systems, IFIP 18th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), 22-27 August 2004, Toulouse, France},
editor = {Bernd Kleinjohann and Guang R. Gao and Hermann Kopetz and Lisa Kleinjohann and Achim Rettberg},
publisher = {Kluwer},
isbn = {1-4020-8148-0},
}