TY - THES A1 - Deussen, Peter H. T1 - Analyse verteilter Systeme mit Hilfe von Prozeßautomaten KW - Verteilte Systeme KW - Prozeßautomaten KW - Modelchecking KW - Verifikation KW - DCTL KW - Petri-Netze Y1 - 2003 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/574 UR - https://nbn-resolving.org/urn:nbn:de:kobv:co1-000000275 PB - Brandenburgische Techn. Univ. CY - Cottbus ER -