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.

Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications

Raphaël Khoury, Sylvain Hallé. Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications. In 2018 IEEE International Conference on Information Reuse and Integration, IRI 2018, Salt Lake City, UT, USA, July 6-9, 2018. pages 495-502, IEEE, 2018. [doi]

Authors

Raphaël Khoury

This author has not been identified. Look up 'Raphaël Khoury' in Google

Sylvain Hallé

This author has not been identified. It may be one of the following persons: Look up 'Sylvain Hallé' in Google
runs on