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.

An efficient algorithm for monitoring practical TPTL specifications

Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios E. Fainekos. An efficient algorithm for monitoring practical TPTL specifications. In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016. pages 184-193, IEEE, 2016. [doi]

Authors

Adel Dokhanchi

This author has not been identified. Look up 'Adel Dokhanchi' in Google

Bardh Hoxha

This author has not been identified. Look up 'Bardh Hoxha' in Google

Cumhur Erkan Tuncali

This author has not been identified. Look up 'Cumhur Erkan Tuncali' in Google

Georgios E. Fainekos

This author has not been identified. Look up 'Georgios E. Fainekos' in Google
runs on