Hamoudi Kalla, David Berner, Jean-Pierre Talpin. Automated Generation of Synchronous Formal Models from SystemC Descriptions. Journal of Circuits, Systems, and Computers, 28(4):1950061, 2019. [doi]
@article{KallaBT19,
title = {Automated Generation of Synchronous Formal Models from SystemC Descriptions},
author = {Hamoudi Kalla and David Berner and Jean-Pierre Talpin},
year = {2019},
doi = {10.1142/S0218126619500610},
url = {https://doi.org/10.1142/S0218126619500610},
researchr = {https://researchr.org/publication/KallaBT19},
cites = {0},
citedby = {0},
journal = {Journal of Circuits, Systems, and Computers},
volume = {28},
number = {4},
pages = {1950061},
}