The SH-Verification Tool


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) ERCIM, Le Chesnay, France.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Additional Information: Address: Cesena, Italy
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 250572
Date Deposited: 04 Aug 1999
Last Modified: 27 Mar 2014 19:51
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250572

Actions (login required)

View Item View Item