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.

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation

S. Akshay 0001, Paul Gastin, R. Govind 0001, Aniruddha R. Joshi, B. Srivathsan. A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. Volume 13964 of Lecture Notes in Computer Science, pages 266-288, Springer, 2023. [doi]

Authors

S. Akshay 0001

This author has not been identified. Look up 'S. Akshay 0001' in Google

Paul Gastin

This author has not been identified. Look up 'Paul Gastin' in Google

R. Govind 0001

This author has not been identified. Look up 'R. Govind 0001' in Google

Aniruddha R. Joshi

This author has not been identified. Look up 'Aniruddha R. Joshi' in Google

B. Srivathsan

This author has not been identified. Look up 'B. Srivathsan' in Google
runs on