The SH-Verification Tool


Nitsche, U., Ochsenschläger, P., Repp, J. and Rieke, R. (1997) The SH-Verification Tool At Proc. 2nd Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS).

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
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
ePrint ID: 250572
Date :
Date Event
1997Published
Date Deposited: 04 Aug 1999
Last Modified: 18 Apr 2017 00:19
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250572

Actions (login required)

View Item View Item