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.

Semantics for Locking Specifications

Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto. Semantics for Locking Specifications. In Sanjai Rayadurgam, Oksana Tkachuk, editors, NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. Volume 9690 of Lecture Notes in Computer Science, pages 355-372, Springer, 2016. [doi]

Authors

Michael D. Ernst

This author has not been identified. Look up 'Michael D. Ernst' in Google

Damiano Macedonio

This author has not been identified. Look up 'Damiano Macedonio' in Google

Massimo Merro

This author has not been identified. Look up 'Massimo Merro' in Google

Fausto Spoto

This author has not been identified. Look up 'Fausto Spoto' in Google
runs on