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