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.


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
Accepted Date and Publication Date:
Date Deposited: 04 Aug 1999
Last Modified: 27 Mar 2014 19:51
Further Information:Google Scholar

Actions (login required)

View Item View Item