Ochsenschläger, P., Repp, J., Rieke, R. and Nitsche, U. (1998) The SH-Verification Tool -- Abstraction-based Verification of Co-operating Systems. Formal Aspects of Computing, 10, 381-404.
Record type:
Article
This record has no associated files available for download.
More information
Published date: 1998
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250501
URI: http://eprints.soton.ac.uk/id/eprint/250501
PURE UUID: 029562e7-b8aa-46a6-b49b-af2d66cabbd8
Catalogue record
Date deposited: 18 Oct 1999
Last modified: 08 Jan 2022 17:36
Export record
Contributors
Author:
P. Ochsenschläger
Author:
J. Repp
Author:
R. Rieke
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.