Title: A symbolic core approach to the formal verification of integrated mixed-mode applications
Authors: Hendricx, Stefan ×
Claesen, Luc #
Issue Date: 1997
Host Document: pages:432-436
Conference: Proceedings European Design & Test Conference. ED&TC 97 ;
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.

© Web of science