Extended RTL in the Specification and Verification of an Industrial Press

de Lemos, Rogério and Hall, Jon G. (1996) Extended RTL in the Specification and Verification of an Industrial Press. In: Hybrid Systems III. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)

Item Type:	Conference or workshop item (UNSPECIFIED)
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions:	Faculties > Sciences > School of Computing > Systems Architecture Group
Depositing User:	Mark Wheadon
Date Deposited:	25 Aug 2009 19:32 UTC
Last Modified:	08 Jul 2014 08:46 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/21314 (The current URI for this page, for reference purposes)