Title: Verification of finite-state-machine refinements using a symbolic technology
Authors: Hendricx, Stefan ×
Claesen, Luc #
Issue Date: 1999
Host Document: pages:326-329
Conference: Correct Hardware Design and Verification Methods. Proceedings10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99.
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.