Conference
Correct Hardware Design and Verification Methods. Proceedings10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99.
Title
Verification of finite-state-machine refinements using a symbolic technology
Publication type
Proceedings paper
