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.

The Verification of rCOS Using Spin

Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu. The Verification of rCOS Using Spin. Electronic Notes in Theoretical Computer Science, 207:49-67, 2008. [doi]

Authors

Xiao Yu

This author has not been identified. Look up 'Xiao Yu' in Google

Zheng Wang

This author has not been identified. Look up 'Zheng Wang' in Google

Geguang Pu

This author has not been identified. Look up 'Geguang Pu' in Google

Dingding Mao

This author has not been identified. Look up 'Dingding Mao' in Google

Jing Liu

This author has not been identified. Look up 'Jing Liu' in Google
runs on