%0 Thesis %1 raschke2009automatischen %A Raschke, Alexander Johannes %D 2009 %K %T Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen

@phdthesis{raschke2009automatischen, added-at = {2023-12-12T21:15:47.000+0100}, author = {Raschke, Alexander Johannes}, biburl = {https://www.bibsonomy.org/bibtex/230f82cee269091c8eee24272fc5a3289/admin}, dnbtitleid = {999813676}, interhash = {3b86c123c63789bcac1ff4f88fa1c7b3}, intrahash = {30f82cee269091c8eee24272fc5a3289}, keywords = {}, school = {Uni Ulm}, timestamp = {2023-12-12T21:15:47.000+0100}, title = {Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen}, year = 2009 }