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