%0 Thesis %1 hofmann2008formale %A Hofmann, Christian %D 2008 %K %T Formale Analyse- und Verifikationsparadigmen für ausgewählte verteilte Splicing-Systeme

@phdthesis{hofmann2008formale, added-at = {2023-12-13T05:27:31.000+0100}, author = {Hofmann, Christian}, biburl = {https://www.bibsonomy.org/bibtex/25b6348dc9be762f2912e09ae527843c6/admin}, dnbtitleid = {993739326}, interhash = {a2c24c9cb37d82c16c180fea898c6673}, intrahash = {5b6348dc9be762f2912e09ae527843c6}, keywords = {}, school = {TU Dresden}, timestamp = {2023-12-13T05:27:31.000+0100}, title = {Formale Analyse- und Verifikationsparadigmen für ausgewählte verteilte Splicing-Systeme}, year = 2008 }