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.

Verifying Linearisability with Potential Linearisation Points

John Derrick, Gerhard Schellhorn, Heike Wehrheim. Verifying Linearisability with Potential Linearisation Points. In Michael Butler, Wolfram Schulte, editors, FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Volume 6664 of Lecture Notes in Computer Science, pages 323-337, Springer, 2011. [doi]

Authors

John Derrick

This author has not been identified. Look up 'John Derrick' in Google

Gerhard Schellhorn

This author has not been identified. Look up 'Gerhard Schellhorn' in Google

Heike Wehrheim

This author has not been identified. Look up 'Heike Wehrheim' in Google
runs on