Prozessalgebra und temporale Logik
Subtitle: angewandt zur Spezifikation u. Analyse von komplexen Protokollen
By: Günter Karjoth
Contributors: Universität Stuttgart
Published: 1987
Language: ger
Number of pages: 188
Notes: Thesis (doctoral)--Universität Stuttgart, 1987.