@misc{indiciae14df1afb5007,
  title = {Decentralized Runtime Verification for LTL Properties Using Global Clock},
  author = {M. Ali Dorosty and Fathiyeh Faghih and Ehsan Khamespanah},
  year = {2020},
  url = {https://arxiv.org/abs/1912.07365},
  note = {Source identifier: 1912.07365}
}