@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