Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}
