Capellmann, C., Demant, R., Fatahi-Vanani, F., Galvez-Estrada, R., Nitsche, U. and Ochsenschläger, P. (1996) Verification by Behavior Abstraction: A Case Study of Service Interaction Detection in Intelligent Telephone Networks. Proc. 8th Int. Conf. Computer Aided Verification (CAV), LNCS 1102. pp. 466-469 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1996
Additional Information:
Address: New Brunswick, NJ
Venue - Dates:
Proc. 8th Int. Conf. Computer Aided Verification (CAV), LNCS 1102, 1996-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250582
URI: http://eprints.soton.ac.uk/id/eprint/250582
ISBN: ISBN 3-540-61474-5
PURE UUID: 78715ecc-0197-4433-b37d-3010fab40466
Catalogue record
Date deposited: 04 Aug 1999
Last modified: 08 Jan 2022 17:36
Export record
Contributors
Author:
C. Capellmann
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.