@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 }