1995
Report
Title

Abschlußbericht des GMD-/Telekom-Projekts "Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik"- SERVINT

Author(s)
Demant, R.
Fatahi, F.
Galvez-Estrada, R.
Nitsche, U.
Ochsenschläger, P.
Publisher
Fraunhofer SIT
Publishing Place
Darmstadt
Language
German