Christian Hofmann. Formale Analyse- und Verifikationsparadigmen für ausgewählte verteilte Splicing-Systeme. PhD thesis, Dresden University of Technology, 2008. [doi]
@phdthesis{de-3999,
title = {Formale Analyse- und Verifikationsparadigmen für ausgewählte verteilte Splicing-Systeme},
author = {Christian Hofmann},
year = {2008},
url = {http://hsss.slub-dresden.de/deds-access/hsss.urlmapping.MappingServlet?id=1226928403106-0259},
note = {http://d-nb.info/992401593},
researchr = {https://researchr.org/publication/de-3999},
cites = {0},
citedby = {0},
school = {Dresden University of Technology},
}