Sven Thijssen, Sumit Kumar Jha 0001, Rickard Ewetz. Equivalence Checking for Flow-Based Computing. In IEEE 40th International Conference on Computer Design, ICCD 2022, Olympic Valley, CA, USA, October 23-26, 2022. pages 656-663, IEEE, 2022. [doi]
@inproceedings{Thijssen0E22-0,
title = {Equivalence Checking for Flow-Based Computing},
author = {Sven Thijssen and Sumit Kumar Jha 0001 and Rickard Ewetz},
year = {2022},
doi = {10.1109/ICCD56317.2022.00101},
url = {https://doi.org/10.1109/ICCD56317.2022.00101},
researchr = {https://researchr.org/publication/Thijssen0E22-0},
cites = {0},
citedby = {0},
pages = {656-663},
booktitle = {IEEE 40th International Conference on Computer Design, ICCD 2022, Olympic Valley, CA, USA, October 23-26, 2022},
publisher = {IEEE},
isbn = {978-1-6654-6186-3},
}