Capellmann, C., Demant, R., Galvez-Estrada, R., Nitsche, U. and Ochsenschläger, P. (1996) Case Study: Service Interaction Detection by Formal Verification under Behaviour Abstraction. Margaria, T. (ed.) Proc. 1st Int. Workshop on Advanced Intelligent Networks (AIN). pp. 71-90 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: March 1996
Additional Information:
Address: Passau, Germany
Venue - Dates:
Proc. 1st Int. Workshop on Advanced Intelligent Networks (AIN), 1996-03-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250581
URI: http://eprints.soton.ac.uk/id/eprint/250581
PURE UUID: b2ed02e1-214e-489c-9948-08a3928264e8
Catalogue record
Date deposited: 04 Aug 1999
Last modified: 10 Dec 2021 20:10
Export record
Contributors
Author:
C. Capellmann
Author:
R. Demant
Author:
R. Galvez-Estrada
Author:
U. Nitsche
Author:
P. Ochsenschläger
Editor:
T. Margaria
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.