%0 Journal Article %1 journals/tecs/LinMLPYJLS23 %A Lin, Shaokai %A Manerkar, Yatin A. %A Lohstroh, Marten %A Polgreen, Elizabeth %A Yu, Sheng-Jung %A Jerad, Chadlia %A Lee, Edward A. %A Seshia, Sanjit A. %D 2023 %J ACM Trans. Embed. Comput. Syst. %K dblp %N 5s %P 155:1-155:24 %T Towards Building Verifiable CPS using Lingua Franca. %U http://dblp.uni-trier.de/db/journals/tecs/tecs22.html#LinMLPYJLS23 %V 22

@article{journals/tecs/LinMLPYJLS23, added-at = {2023-10-27T00:00:00.000+0200}, author = {Lin, Shaokai and Manerkar, Yatin A. and Lohstroh, Marten and Polgreen, Elizabeth and Yu, Sheng-Jung and Jerad, Chadlia and Lee, Edward A. and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/2f82774dba5d62ab18761b6caa60d360c/dblp}, ee = {https://doi.org/10.1145/3609134}, interhash = {8158648a28295e710e96adffe5e2fa4f}, intrahash = {f82774dba5d62ab18761b6caa60d360c}, journal = {ACM Trans. Embed. Comput. Syst.}, keywords = {dblp}, month = {October}, number = {5s}, pages = {155:1-155:24}, timestamp = {2024-04-08T20:54:48.000+0200}, title = {Towards Building Verifiable CPS using Lingua Franca.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs22.html#LinMLPYJLS23}, volume = 22, year = 2023 }