Extended RTL in the specification and verification of an industrial press

• Authors:

• Rogério de Lemos;Jon G. Hall

• Affiliations:

• -;-

• Venue:
• Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
• Year:
• 1996