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.

Dynamic Partial Order Reduction Using Probe Sets

Harmen Kastenberg, Arend Rensink. Dynamic Partial Order Reduction Using Probe Sets. In Franck van Breugel, Marsha Chechik, editors, CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings. Volume 5201 of Lecture Notes in Computer Science, pages 233-247, Springer, 2008. [doi]

Authors

Harmen Kastenberg

This author has not been identified. Look up 'Harmen Kastenberg' in Google

Arend Rensink

This author has not been identified. It may be one of the following persons: Look up 'Arend Rensink' in Google
runs on