External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

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.

Testing Distributed Systems Through Symbolic Model Checking

Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin. Testing Distributed Systems Through Symbolic Model Checking. In John Derrick, Jüri Vain, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings. Volume 4574 of Lecture Notes in Computer Science, pages 263-279, Springer, 2007. [doi]

Authors

Gabriel Kalyon

This author has not been identified. Look up 'Gabriel Kalyon' in Google

Thierry Massart

This author has not been identified. Look up 'Thierry Massart' in Google

Cédric Meuter

This author has not been identified. Look up 'Cédric Meuter' in Google

Laurent Van Begin

This author has not been identified. Look up 'Laurent Van Begin' in Google
runs on