Show simple item record

A symbolic core approach to the formal verification of integrated mixed-mode applications

dc.contributor.authorHendricx, Stefan
dc.contributor.authorClaesen, Luc
dc.date.accessioned2021-09-30T08:24:21Z
dc.date.available2021-09-30T08:24:21Z
dc.date.issued1997
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/1922
dc.sourceIIOimport
dc.titleA symbolic core approach to the formal verification of integrated mixed-mode applications
dc.typeProceedings paper
dc.date.embargo9999-12-31
dc.source.peerreviewno
dc.source.beginpage432
dc.source.endpage436
dc.source.conferenceEuropean Design & Test Conference - ED&TC
dc.source.conferencedate17/03/1997
dc.source.conferencelocationParis France
imec.availabilityPublished - open access


Files in this item

Thumbnail
Name:
1892.pdf
Size:
128.2Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record