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.

Model Checking Timed Hyperproperties in Discrete-Time Systems

Borzoo Bonakdarpour, Pavithra Prabhakar, César Sánchez. Model Checking Timed Hyperproperties in Discrete-Time Systems. In Ritchie Lee, Susmit Jha, Anastasia Mavridou, editors, NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Volume 12229 of Lecture Notes in Computer Science, pages 311-328, Springer, 2020. [doi]

Authors

Borzoo Bonakdarpour

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

Pavithra Prabhakar

This author has not been identified. Look up 'Pavithra Prabhakar' in Google

César Sánchez

This author has not been identified. Look up 'César Sánchez' in Google
runs on