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

@phdthesis{kersten2006multiphase, added-at = {2023-12-12T20:53:34.000+0100}, author = {Kersten, Michael}, biburl = {https://www.bibsonomy.org/bibtex/24c3a20a6625b7aef2eeb92e67a3ff561/admin}, dnbtitleid = {98260176X}, interhash = {35f05f696152ef01759fd7701d2b59b9}, intrahash = {4c3a20a6625b7aef2eeb92e67a3ff561}, keywords = {}, school = {Uni Oldenburg}, timestamp = {2023-12-12T20:53:34.000+0100}, title = {A multi-phase deadlock detection method for reactive systems based on UML-models}, year = 2006 }