Title: Formally verified redundancy removal
Authors: Hendricx, Stefan ×
Claesen, Luc #
Issue Date: 1999
Host Document: pages:150-156
Conference: Proceedings Design, Automation and Test in Europe Conference; 9-12 March 1999; München, Germany.
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