@inproceedings{Ker2004,
Author = {Kersten, Michael and Nebel, Wolfgang},
Title = {On Detecting Deadlocks in Large UML Models - based on an Expressive Subset},

Year = {2004},
Month = {01},
Booktitle = {Tagungsband DIPES'04},
Organization = {DIPES'04, IFIP Working Conference on Distributed and Parallel Embedded Systems},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }