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.

SMT-based generation of symbolic automata

Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang 0002. SMT-based generation of symbolic automata. Acta Informatica, 57(3-5):627-656, 2020. [doi]

Authors

Xudong Qin

This author has not been identified. Look up 'Xudong Qin' in Google

Simon Bliudze

This author has not been identified. Look up 'Simon Bliudze' in Google

Eric Madelaine

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

Zechen Hou

This author has not been identified. Look up 'Zechen Hou' in Google

Yuxin Deng

This author has not been identified. Look up 'Yuxin Deng' in Google

Min Zhang 0002

This author has not been identified. Look up 'Min Zhang 0002' in Google
runs on