%0 Journal Article %1 journals/fcsc/YangBFHZM16 %A Yang, Zhibin %A Bodeveix, Jean-Paul %A Filali, Mamoun %A Hu, Kai %A Zhao, Yongwang %A Ma, Dianfu %D 2016 %J Frontiers Comput. Sci. %K dblp %N 1 %P 37-53 %T Towards a verified compiler prototype for the synchronous language SIGNAL. %U http://dblp.uni-trier.de/db/journals/fcsc/fcsc10.html#YangBFHZM16 %V 10

@article{journals/fcsc/YangBFHZM16, added-at = {2021-03-03T00:00:00.000+0100}, author = {Yang, Zhibin and Bodeveix, Jean-Paul and Filali, Mamoun and Hu, Kai and Zhao, Yongwang and Ma, Dianfu}, biburl = {https://www.bibsonomy.org/bibtex/2d019d358039ac3a8744a1d006328105f/dblp}, ee = {https://doi.org/10.1007/s11704-015-4364-y}, interhash = {fdf86aaa79e85a615dc601c57b4ffe07}, intrahash = {d019d358039ac3a8744a1d006328105f}, journal = {Frontiers Comput. Sci.}, keywords = {dblp}, number = 1, pages = {37-53}, timestamp = {2024-04-09T05:10:31.000+0200}, title = {Towards a verified compiler prototype for the synchronous language SIGNAL.}, url = {http://dblp.uni-trier.de/db/journals/fcsc/fcsc10.html#YangBFHZM16}, volume = 10, year = 2016 }