%0 Thesis %1 kersten2006multiphase %A Kersten, Michael %D 2006 %K dnb Informatik %T A multi-phase deadlock detection method for reactive systems based on UML-models

@phdthesis{kersten2006multiphase, added-at = {2015-09-10T00:11:02.000+0200}, author = {Kersten, Michael}, biburl = {https://www.bibsonomy.org/bibtex/24c3a20a6625b7aef2eeb92e67a3ff561/genealogie}, dnbtitleid = {98260176X}, interhash = {35f05f696152ef01759fd7701d2b59b9}, intrahash = {4c3a20a6625b7aef2eeb92e67a3ff561}, keywords = {dnb Informatik}, school = {Uni Oldenburg}, timestamp = {2015-09-10T00:11:02.000+0200}, title = {A multi-phase deadlock detection method for reactive systems based on UML-models}, year = 2006 }