%0 Journal Article %1 journals/jcsc/KallaBT19 %A Kalla, Hamoudi %A Berner, David %A Talpin, Jean-Pierre %D 2019 %J Journal of Circuits, Systems, and Computers %K dblp %N 4 %P 1950061:1-1950061:21 %T Automated Generation of Synchronous Formal Models from SystemC Descriptions. %U http://dblp.uni-trier.de/db/journals/jcsc/jcsc28.html#KallaBT19 %V 28

@article{journals/jcsc/KallaBT19, added-at = {2019-12-19T00:00:00.000+0100}, author = {Kalla, Hamoudi and Berner, David and Talpin, Jean-Pierre}, biburl = {https://www.bibsonomy.org/bibtex/27a8357d59e1f4bf02a7be4855327f80a/dblp}, ee = {https://doi.org/10.1142/S0218126619500610}, interhash = {18c28df911ac8e968de2d363fdcec01b}, intrahash = {7a8357d59e1f4bf02a7be4855327f80a}, journal = {Journal of Circuits, Systems, and Computers}, keywords = {dblp}, number = 4, pages = {1950061:1-1950061:21}, timestamp = {2019-12-20T11:42:56.000+0100}, title = {Automated Generation of Synchronous Formal Models from SystemC Descriptions.}, url = {http://dblp.uni-trier.de/db/journals/jcsc/jcsc28.html#KallaBT19}, volume = 28, year = 2019 }