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.

Learning to prove safety over parameterised concurrent systems

Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer. Learning to prove safety over parameterised concurrent systems. In Daryl Stewart, Georg Weissenbacher, editors, 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. pages 76-83, IEEE, 2017. [doi]

Authors

Yu-Fang Chen

This author has not been identified. It may be one of the following persons: Look up 'Yu-Fang Chen' in Google

Chih-Duo Hong

This author has not been identified. Look up 'Chih-Duo Hong' in Google

Anthony W. Lin

This author has not been identified. Look up 'Anthony W. Lin' in Google

Philipp Rümmer

This author has not been identified. Look up 'Philipp Rümmer' in Google
runs on