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.

Efficient Operational Semantics for for Verification of Temporal Properties

Dimitris Vekris, Catalin Dima. Efficient Operational Semantics for for Verification of Temporal Properties. In Farhad Arbab, Marjan Sirjani, editors, Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers. Volume 8161 of Lecture Notes in Computer Science, pages 133-149, Springer, 2013. [doi]

Authors

Dimitris Vekris

This author has not been identified. Look up 'Dimitris Vekris' in Google

Catalin Dima

This author has not been identified. Look up 'Catalin Dima' in Google
runs on