%0 Thesis %1 ermler2015satbasierte %A Ermler, Marcus %D 2015 %K %T SAT-basierte Verifikation von Graphtransformationseinheiten

@phdthesis{ermler2015satbasierte, added-at = {2023-12-13T01:30:14.000+0100}, author = {Ermler, Marcus}, biburl = {https://www.bibsonomy.org/bibtex/2c877433f76330156aa0c703102294f5e/admin}, dnbtitleid = {1067078584}, interhash = {727aee79ffd2f3957e172a039ea68aa5}, intrahash = {c877433f76330156aa0c703102294f5e}, keywords = {}, school = {Uni Bremen}, timestamp = {2023-12-13T01:30:14.000+0100}, title = {SAT-basierte Verifikation von Graphtransformationseinheiten}, year = 2015 }