Options
1996
Report
Titel
Zwischenbericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik - SERVINT2
Verlag
Fraunhofer SIT
Verlagsort
Darmstadt