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

dc.contributor.author	Hendricx, Stefan
dc.contributor.author	Claesen, Luc
dc.date.accessioned	2021-09-30T08:24:21Z
dc.date.available	2021-09-30T08:24:21Z
dc.date.embargo	9999-12-31
dc.date.issued	1997
dc.identifier.uri	https://imec-publications.be/handle/20.500.12860/1922
dc.source.beginpage	432
dc.source.conference	European Design & Test Conference - ED&TC
dc.source.conferencedate	17/03/1997
dc.source.conferencelocation	Paris France
dc.source.endpage	436
dc.title	A symbolic core approach to the formal verification of integrated mixed-mode applications
dc.type	Proceedings paper
dspace.entity.type	Publication
Files	Original bundle Name: 1892.pdf Size: 128.26 KB Format: Adobe Portable Document Format Download
Publication available in collections:	Conference contributions

Date