Günter Karjoth

• Prozessalgebra und temporale Logik