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.

Towards Model Checking Library for Persistent Data Structures

Hiroyuki Iiboshi, Tomoharu Ugawa. Towards Model Checking Library for Persistent Data Structures. In IEEE 7th Non-Volatile Memory Systems and Applications Symposium, NVMSA 2018, Hakodate, Sapporo, Japan, August 28-31, 2018. pages 119-120, IEEE, 2018. [doi]

Authors

Hiroyuki Iiboshi

This author has not been identified. Look up 'Hiroyuki Iiboshi' in Google

Tomoharu Ugawa

This author has not been identified. Look up 'Tomoharu Ugawa' in Google
runs on