Nitsche, U. (1996) Verification and Behaviour Abstraction Towards a Tractable Verification Technique for Large Distributed Systems. Journal of Systems and Software, 33, 273-285.
Record type:
Article
This record has no associated files available for download.
More information
Published date: 1996
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250614
URI: http://eprints.soton.ac.uk/id/eprint/250614
PURE UUID: 92c74278-c98c-4211-b3e1-c4c66cd9765e
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.