Title: ED and TC 1995: Simulation versus Formal Verification
Authors: Claesen, Luc # ×
Issue Date: 1995
Series Title: IEEE Design and Test of Computers vol:12 pages:82
ISSN: 0740-7475
Publication status: published
KU Leuven publication type: IT
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