"Decentralized Runtime Verification for LTL Properties Using Global Clock."

M. Ali Dorosty, Fathiyeh Faghih, Ehsan Khamespanah (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics