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.

Formal Analysis of Symbolic Authenticity

Hai Lin 0005, Christopher Lynch. Formal Analysis of Symbolic Authenticity. In Boris Konev, Giles Reger, editors, Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings. Volume 12941 of Lecture Notes in Computer Science, pages 271-286, Springer, 2021. [doi]

Authors

Hai Lin 0005

This author has not been identified. Look up 'Hai Lin 0005' in Google

Christopher Lynch

This author has not been identified. Look up 'Christopher Lynch' in Google
runs on