%0 Journal Article %1 journals/tie/JiangZLDSGS15 %A Jiang, Yu %A Zhang, Hehua %A Li, Zonghui %A Deng, Yangdong %A Song, Xiaoyu %A Gu, Ming %A Sun, Jia-Guang %D 2015 %J IEEE Trans. Ind. Electron. %K dblp %N 2 %P 1270-1278 %T Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques. %U http://dblp.uni-trier.de/db/journals/tie/tie62.html#JiangZLDSGS15 %V 62

@article{journals/tie/JiangZLDSGS15, added-at = {2020-08-25T00:00:00.000+0200}, author = {Jiang, Yu and Zhang, Hehua and Li, Zonghui and Deng, Yangdong and Song, Xiaoyu and Gu, Ming and Sun, Jia-Guang}, biburl = {https://www.bibsonomy.org/bibtex/2a2e5882794c8922b49bfa453e3557995/dblp}, ee = {https://doi.org/10.1109/TIE.2014.2316234}, interhash = {a565c563b7f387a6c6acaa40e3bb7b6e}, intrahash = {a2e5882794c8922b49bfa453e3557995}, journal = {IEEE Trans. Ind. Electron.}, keywords = {dblp}, number = 2, pages = {1270-1278}, timestamp = {2020-08-28T18:03:41.000+0200}, title = {Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques.}, url = {http://dblp.uni-trier.de/db/journals/tie/tie62.html#JiangZLDSGS15}, volume = 62, year = 2015 }