@article{DBLP:journals/corr/abs-1912-07365,
  author    = {M. Ali Dorosty and
               Fathiyeh Faghih and
               Ehsan Khamespanah},
  title     = {Decentralized Runtime Verification for {LTL} Properties Using Global
               Clock},
  journal   = {CoRR},
  volume    = {abs/1912.07365},
  year      = {2019},
  url       = {http://arxiv.org/abs/1912.07365},
  eprinttype = {arXiv},
  eprint    = {1912.07365},
  timestamp = {Fri, 03 Jan 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1912-07365.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"YEkKygPPLS5poHPM7","bibbaseid":"dorosty-faghih-khamespanah-decentralizedruntimeverificationforltlpropertiesusingglobalclock-2019","authorIDs":["3ZEdTR9w2wTgcZTAM","3dE3dbeSAZj9cdJdT","3kJYiMyuZy9XzZTFf","3mJs9nAnuBWoF3uEJ","5e48489c00973ede0100008a","5e4bcf56a6b53fde010000f0","5e4bea5c8f0677df010000fa","5e4c033e0dff2bde01000103","5e4c04850dff2bde01000133","5e4c36c6c1eb51df0100010d","5e4c379ec1eb51df01000118","5e4c3a67c1eb51df01000145","5e4c3c10c1eb51df01000163","5e4ebc41d9cddadf01000086","5e4ed1842962cadf0100000b","5e4f42ee8a3535f301000022","5e4faddf29097dde0100012d","5e4fc5ef2c51e8de010000d5","5e4ff4ecf5b214df010000af","5e59fdf86ef27ddf010000ba","8FJxRaTcguAaMXtfe","9ggHhj6zqie7rwG3F","BBgxLjbGHmfsHvwzh","FkMYRLmLw7La8daXq","JTjMQawZc2HzHPwy9","WEf9yCb267W8TixGn","WH6eFBAhTHxtEYgup","WziT7FjRJZGzTQQoa","ZT8xz5Q67yDuRyyzD","Zhw8KL6TPMbHXvHpH","h8iSYi3GDxMcwRyqg","hra4bE2tdm9RtJ8eD","htCXDpnZ2eLcbQXSs","jpXRgz3jcFkoAdEDo","n9SgYXbQA5xJSeGwP","voga5baxdwafbiXwM","w8afXQqSMP673Z32C"],"author_short":["Dorosty, M. A.","Faghih, F.","Khamespanah, E."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["M.","Ali"],"propositions":[],"lastnames":["Dorosty"],"suffixes":[]},{"firstnames":["Fathiyeh"],"propositions":[],"lastnames":["Faghih"],"suffixes":[]},{"firstnames":["Ehsan"],"propositions":[],"lastnames":["Khamespanah"],"suffixes":[]}],"title":"Decentralized Runtime Verification for LTL Properties Using Global Clock","journal":"CoRR","volume":"abs/1912.07365","year":"2019","url":"http://arxiv.org/abs/1912.07365","eprinttype":"arXiv","eprint":"1912.07365","timestamp":"Fri, 03 Jan 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/corr/abs-1912-07365.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-1912-07365,\n author = {M. Ali Dorosty and\n Fathiyeh Faghih and\n Ehsan Khamespanah},\n title = {Decentralized Runtime Verification for {LTL} Properties Using Global\n Clock},\n journal = {CoRR},\n volume = {abs/1912.07365},\n year = {2019},\n url = {http://arxiv.org/abs/1912.07365},\n eprinttype = {arXiv},\n eprint = {1912.07365},\n timestamp = {Fri, 03 Jan 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-1912-07365.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Dorosty, M. A.","Faghih, F.","Khamespanah, E."],"key":"DBLP:journals/corr/abs-1912-07365","id":"DBLP:journals/corr/abs-1912-07365","bibbaseid":"dorosty-faghih-khamespanah-decentralizedruntimeverificationforltlpropertiesusingglobalclock-2019","role":"author","urls":{"Paper":"http://arxiv.org/abs/1912.07365"},"metadata":{"authorlinks":{"khamespanah, e":"http://www.ehsankhamespanah.ir/"}}},"bibtype":"article","biburl":"https://dblp.uni-trier.de/pers/tb1/k/Khamespanah:Ehsan.bib","creationDate":"2020-02-15T19:38:04.921Z","downloads":0,"keywords":[],"search_terms":["decentralized","runtime","verification","ltl","properties","using","global","clock","dorosty","faghih","khamespanah"],"title":"Decentralized Runtime Verification for LTL Properties Using Global Clock","year":2019,"dataSources":["XQFBr7xfzAa2rp9Ka"]}