Extended RTL in the Specification and Verification of an Industrial Press
de Lemos, Rogério,
Hall, Jon G.
(1996)
Extended RTL in the Specification and Verification of an Industrial Press.
In: Alur, Rajeev and Henzinger, Y.A. and Sontag, E., eds.
Hybrid Systems III.
Lecture Notes in Computer Science 1066
.
pp. 114-125.
Springer-Verlag, Berlin, Germany
(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)
(KAR id:21314)
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)
|
- Depositors only (login required):
|