%0 Journal Article %1 journals/pieee/RoyZCMC18 %A Roy, Debayan %A Zhang, Licong %A Chang, Wanli %A Mitter, Sanjoy K. %A Chakraborty, Samarjit %D 2018 %J Proc. IEEE %K dblp %N 1 %P 171-200 %T Semantics-Preserving Cosynthesis of Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/journals/pieee/pieee106.html#RoyZCMC18 %V 106

@article{journals/pieee/RoyZCMC18, added-at = {2020-10-26T00:00:00.000+0100}, author = {Roy, Debayan and Zhang, Licong and Chang, Wanli and Mitter, Sanjoy K. and Chakraborty, Samarjit}, biburl = {https://www.bibsonomy.org/bibtex/23448af53c8f5b53a4f9e97b5f52d39e9/dblp}, ee = {https://doi.org/10.1109/JPROC.2017.2779456}, interhash = {df7991a298ee150206359363cd05332e}, intrahash = {3448af53c8f5b53a4f9e97b5f52d39e9}, journal = {Proc. IEEE}, keywords = {dblp}, number = 1, pages = {171-200}, timestamp = {2020-10-27T12:53:24.000+0100}, title = {Semantics-Preserving Cosynthesis of Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/journals/pieee/pieee106.html#RoyZCMC18}, volume = 106, year = 2018 }