Ruggero Lanotte, Massimo Merro, Simone Tini. A probabilistic calculus of cyber-physical systems. Inf. Comput., 279:104618, 2021. [doi]
@article{LanotteMT21, title = {A probabilistic calculus of cyber-physical systems}, author = {Ruggero Lanotte and Massimo Merro and Simone Tini}, year = {2021}, doi = {10.1016/j.ic.2020.104618}, url = {https://doi.org/10.1016/j.ic.2020.104618}, researchr = {https://researchr.org/publication/LanotteMT21}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {279}, pages = {104618}, }