Analyse verteilter Systeme mit Hilfe von Prozeßautomaten
Author: | Peter H. Deussen |
---|---|
URN: | urn:nbn:de:kobv:co1-000000275 |
Publisher: | Brandenburgische Techn. Univ. |
Place of publication: | Cottbus |
Document Type: | Doctoral thesis |
Language: | German |
Year of publication: | 2001 |
Tag: | DCTL; Modelchecking; Petri-Netze; Prozeßautomaten; Verifikation; Verteilte Systeme |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Informatik / Datenstrukturen und Softwarezuverlässigkeit |