Journals
Publish with us
Publishing partnerships
About us
Blog
Wireless Communications and Mobile Computing
Journal overview
For authors
For reviewers
For editors
Table of Contents
Special Issues
Wireless Communications and Mobile Computing
/
2020
/
Article
/
Alg 11
/
Research Article
Formal Verification of Hardware Components in Critical Systems
Listing 11
Lemma stating the duality property.
(1)
Lemma
:
lhs rhs,
(2)
lhs
rhs
(3)
changeop (changeident lhs)
changeop (changeident rhs).