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
Record type:
Monograph
(Project Report)
This record has no associated files available for download.
More information
Published date: December 1995
Additional Information:
Address: Darmstadt
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 253243
URI: http://eprints.soton.ac.uk/id/eprint/253243
PURE UUID: e7dba97d-4f6a-43bc-b215-d9a56a586276
Catalogue record
Date deposited: 03 May 2000
Last modified: 20 Feb 2024 17:54
Export record
Contributors
Author:
R. Demant
Author:
F. Fatahi-Vanani
Author:
R. Galvez-Estrada
Author:
U. Nitsche
Author:
P. Ochsenschläger
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.