Show simple item record

Formalizing a behavioral specification language for correct transformational design

dc.contributor.authorAngelo, Catia Marcondes
dc.contributor.authorClaesen, Luc
dc.date.accessioned2021-09-29T14:16:02Z
dc.date.available2021-09-29T14:16:02Z
dc.date.issued1996
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/1058
dc.sourceIIOimport
dc.titleFormalizing a behavioral specification language for correct transformational design
dc.typeProceedings paper
dc.date.embargo9999-12-31
dc.source.peerreviewno
dc.source.beginpage79
dc.source.endpage84
dc.source.conferenceProceedings XI Conference of the Brazilian Microelectronics Society - SBμ
dc.source.conferencedate29/07/1996
dc.source.conferencelocationAguas de Lindóia Brazil
imec.availabilityPublished - imec


Files in this item

Thumbnail
Name:
1035.pdf
Size:
379.2Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record