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.

Grey-Box Checking

Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu. Grey-Box Checking. In Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Volume 4229 of Lecture Notes in Computer Science, pages 420-435, Springer, 2006. [doi]

Authors

Edith Elkind

This author has not been identified. Look up 'Edith Elkind' in Google

Blaise Genest

This author has not been identified. Look up 'Blaise Genest' in Google

Doron Peled

This author has not been identified. Look up 'Doron Peled' in Google

Hongyang Qu

This author has not been identified. Look up 'Hongyang Qu' in Google
runs on