|ITEM METADATA RECORD
|Title: ||Formalizing a behavioral specification language for correct transformational design|
|Authors: ||Angelo, Catia Marcondes ×|
Claesen, Luc #
|Issue Date: ||1996 |
|Host Document: ||pages:79-84|
|Conference: ||Proceedings XI Conference of the Brazilian Microelectronics Society; 29 July - 2 August 1996; Aguas de Lindóia, Brazil. location:Leuven Belgium|
|Publication status: ||published|
|KU Leuven publication type: ||IC|
|Appears in Collections:||Electrical Engineering - miscellaneous|
× corresponding author|
# (joint) last author|
|Files in This Item:
There are no files associated with this item.
Request a copy
All items in Lirias are protected by copyright, with all rights reserved.