TY  - RPRT
TI  - Stream-based Decentralized Runtime Verification
AU  - Ritam Ganguly
AU  - Borzoo Bonakdarpour
PY  - 2023
UR  - https://arxiv.org/abs/2301.13266
ID  - 2301.13266
ER  -