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 Read-Copy Update Under RC11

Mikhail Semenyuk, Mark Batty, Brijesh Dongol. Verifying Read-Copy Update Under RC11. In Carla Ferreira 0001, Tim A. C. Willemse, editors, Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Volume 14323 of Lecture Notes in Computer Science, pages 301-319, Springer, 2023. [doi]

Authors

Mikhail Semenyuk

This author has not been identified. Look up 'Mikhail Semenyuk' in Google

Mark Batty

This author has not been identified. It may be one of the following persons: Look up 'Mark Batty' in Google

Brijesh Dongol

This author has not been identified. Look up 'Brijesh Dongol' in Google
runs on