Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik -- SERVINT


Demant, R., Fatahi-Vanani, F., Galvez-Estrada, R., Nitsche, U. and Ochsenschläger, P. (1995) Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik -- SERVINT.

Download

Full text not available from this repository.

Item Type: Monograph (Technical Report)
Additional Information: Address: Darmstadt
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 253243
Date Deposited: 03 May 2000
Last Modified: 27 Mar 2014 19:55
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/253243

Actions (login required)

View Item View Item