%0 Journal Article %1 journals/tecs/NuzzoLSXL19 %A Nuzzo, Pierluigi %A Li, Jiwei %A Sangiovanni-Vincentelli, Alberto L. %A Xi, Yugeng %A Li, Dewei %D 2019 %J ACM Trans. Embed. Comput. Syst. %K dblp %N 1 %P 2:1-2:26 %T Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design. %U http://dblp.uni-trier.de/db/journals/tecs/tecs18.html#NuzzoLSXL19 %V 18

@article{journals/tecs/NuzzoLSXL19, added-at = {2024-02-12T00:00:00.000+0100}, author = {Nuzzo, Pierluigi and Li, Jiwei and Sangiovanni-Vincentelli, Alberto L. and Xi, Yugeng and Li, Dewei}, biburl = {https://www.bibsonomy.org/bibtex/21904fa8a101b48de05f7aff5c7b6ef99/dblp}, ee = {https://doi.org/10.1145/3243216}, interhash = {33b4132f37a018597542feb3cc4a7436}, intrahash = {1904fa8a101b48de05f7aff5c7b6ef99}, journal = {ACM Trans. Embed. Comput. Syst.}, keywords = {dblp}, number = 1, pages = {2:1-2:26}, timestamp = {2024-04-08T20:54:42.000+0200}, title = {Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs18.html#NuzzoLSXL19}, volume = 18, year = 2019 }