%0 Journal Article %1 journals/tecs/BourkePP23 %A Bourke, Timothy %A Pesin, Basile %A Pouzet, Marc %D 2023 %J ACM Trans. Embed. Comput. Syst. %K dblp %N 5s %P 137:1-137:26 %T Verified Compilation of Synchronous Dataflow with State Machines. %U http://dblp.uni-trier.de/db/journals/tecs/tecs22.html#BourkePP23 %V 22

@article{journals/tecs/BourkePP23, added-at = {2023-10-27T00:00:00.000+0200}, author = {Bourke, Timothy and Pesin, Basile and Pouzet, Marc}, biburl = {https://www.bibsonomy.org/bibtex/2b4300687c68bc0b612b1772ed0fcb8dc/dblp}, ee = {https://doi.org/10.1145/3608102}, interhash = {e2ffb4792be62847f4d22d029272135d}, intrahash = {b4300687c68bc0b612b1772ed0fcb8dc}, journal = {ACM Trans. Embed. Comput. Syst.}, keywords = {dblp}, month = {October}, number = {5s}, pages = {137:1-137:26}, timestamp = {2024-04-08T20:55:16.000+0200}, title = {Verified Compilation of Synchronous Dataflow with State Machines.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs22.html#BourkePP23}, volume = 22, year = 2023 }