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.

On Probabilistic Extension of the Interaction Theory

Hongmeng Wang, Huan Long, Hao Wu, Qizhe Yang. On Probabilistic Extension of the Interaction Theory. In Adrián Riesco 0001, Min Zhang 0002, editors, Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings. Volume 13478 of Lecture Notes in Computer Science, pages 352-369, Springer, 2022. [doi]

Authors

Hongmeng Wang

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

Huan Long

This author has not been identified. Look up 'Huan Long' in Google

Hao Wu

This author has not been identified. Look up 'Hao Wu' in Google

Qizhe Yang

This author has not been identified. Look up 'Qizhe Yang' in Google
runs on