Nitsche, U. (1998) Application of Formal Verification and Behaviour Abstraction to the Service Interaction Problem in Intelligent Networks. Journal of Systems and Software, 40 (3), 227-248.
Record type:
Article
This record has no associated files available for download.
More information
Published date: March 1998
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250535
URI: http://eprints.soton.ac.uk/id/eprint/250535
PURE UUID: 546e8f55-e9a4-41da-9e2d-931a08919055
Catalogue record
Date deposited: 04 Aug 1999
Last modified: 08 Jan 2022 08:45
Export record
Contributors
Author:
U. Nitsche
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.