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