@inproceedingsKer2004, 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} @COMMENTBibtex file generated on