@phdthesis{Ker2006, Author = {Kersten, Michael}, Title = {A Multi-Phase Deadlock Detection Method for Reactive Systems Based on UML Models}, Year = {2006}, Month = {01}, Editor = {Dr. Hut Verlag}, Publisher = {Dr. Hut Verlag}, type = {phdthesis} } @COMMENT{Bibtex file generated on }