Options
1995
Report
Titel
Abschlußbericht des GMD-/Telekom-Projekts "Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik"- SERVINT
Verlag
Fraunhofer SIT
Verlagsort
Darmstadt