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.

System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications

Marion Guthmuller, Martin Quinson, Gabriel Corona. System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications. In Masoud Daneshtalab, Marco Aldinucci, Ville Leppänen, Johan Lilius, Mats Brorsson, editors, 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015. pages 451-458, IEEE, 2015. [doi]

Authors

Marion Guthmuller

This author has not been identified. Look up 'Marion Guthmuller' in Google

Martin Quinson

This author has not been identified. Look up 'Martin Quinson' in Google

Gabriel Corona

This author has not been identified. Look up 'Gabriel Corona' in Google
runs on