iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://doi.org/10.1109/TPDS.2022.3215854
A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties | IEEE Journals & Magazine | IEEE Xplore
