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.

Time for All Programs, Not Just Real-Time Programs

Edward A. Lee, Marten Lohstroh. Time for All Programs, Not Just Real-Time Programs. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings. Volume 13036 of Lecture Notes in Computer Science, pages 213-232, Springer, 2021. [doi]

Authors

Edward A. Lee

This author has not been identified. Look up 'Edward A. Lee' in Google

Marten Lohstroh

This author has not been identified. Look up 'Marten Lohstroh' in Google
runs on