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.

CAT: A Customized Automata Toolkit

Ruoyu Wang, Guoqiang Li 0001, Daniel W. Sun, Jianwen Xiang, Hongming Cai. CAT: A Customized Automata Toolkit. In 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Companion, Vienna, Austria, August 1-3, 2016. pages 171-177, IEEE, 2016. [doi]

Authors

Ruoyu Wang

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

Guoqiang Li 0001

This author has not been identified. Look up 'Guoqiang Li 0001' in Google

Daniel W. Sun

This author has not been identified. Look up 'Daniel W. Sun' in Google

Jianwen Xiang

This author has not been identified. Look up 'Jianwen Xiang' in Google

Hongming Cai

This author has not been identified. Look up 'Hongming Cai' in Google
runs on