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.

DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems

Valentina Castiglioni, Michele Loreti, Simone Tini. DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems. In Giuseppa Castiglione, Marinella Sciortino, editors, Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023. Volume 3587 of CEUR Workshop Proceedings, pages 15-30, CEUR-WS.org, 2023. [doi]

Authors

Valentina Castiglioni

This author has not been identified. Look up 'Valentina Castiglioni' in Google

Michele Loreti

This author has not been identified. Look up 'Michele Loreti' in Google

Simone Tini

This author has not been identified. Look up 'Simone Tini' in Google
runs on