Stefan Römer. Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme. PhD thesis, Technical University Munich, Germany, 2000. [doi]
@phdthesis{dnb-15273, title = {Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme}, author = {Stefan Römer}, year = {2000}, url = {http://d-nb.info/962068810}, researchr = {https://researchr.org/publication/dnb-15273}, cites = {0}, citedby = {0}, school = {Technical University Munich, Germany}, }