@inproceedings{Ker2004,
Author = {Kersten, Michael and Nebel, Wolfgang},
Title = {On Detecting Deadlocks in Large UML Models},

Year = {2004},
Month = {08},
Editor = {KLUWER ACADEMIC PUBLISHERS; Boston, Dordrecht, London},
Publisher = {KLUWER ACADEMIC PUBLISHERS; Boston, Dordrecht, London},
Isbn = {1-4020-8148-0},
Booktitle = {Design Methods and Applications for Distributed Embedded Systems},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }