External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Decentralized Runtime Verification of LTL Specifications in Distributed Systems

Menna Mostafa, Borzoo Bonakdarpour. Decentralized Runtime Verification of LTL Specifications in Distributed Systems. In 2015 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2015, Hyderabad, India, May 25-29, 2015. pages 494-503, IEEE Computer Society, 2015. [doi]

Authors

Menna Mostafa

This author has not been identified. Look up 'Menna Mostafa' in Google

Borzoo Bonakdarpour

This author has not been identified. Look up 'Borzoo Bonakdarpour' in Google
runs on