@phdthesis{Deussen2003, author = {Peter H. Deussen}, title = {Analyse verteilter Systeme mit Hilfe von Prozeßautomaten}, type = {doctoralthesis}, year = {2003}, }