Nitsche, U., Ochsenschläger, P., Repp, J. and Rieke, R. (1997) The SH-Verification Tool. Proc. 2nd Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS).
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1997
Additional Information:
Address: Cesena, Italy
Venue - Dates:
Proc. 2nd Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS), 1997-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250572
URI: http://eprints.soton.ac.uk/id/eprint/250572
PURE UUID: 02096372-0b11-4416-90e4-b1ca60c93890
Catalogue record
Date deposited: 04 Aug 1999
Last modified: 10 Dec 2021 20:10
Export record
Contributors
Author:
U. Nitsche
Author:
P. Ochsenschläger
Author:
J. Repp
Author:
R. Rieke
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.