Behavior and testability preservation under the retiming transformation
- Aiman El-Maleh*
- , Thomas E. Marchok
- , Janusz Rajski
- , Wojciech Maly
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
20
Scopus
citations