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.

Mixed Transition Systems Revisited

Ou Wei, Arie Gurfinkel, Marsha Chechik. Mixed Transition Systems Revisited. In Neil D. Jones, Markus Müller-Olm, editors, Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Volume 5403 of Lecture Notes in Computer Science, pages 349-365, Springer, 2009. [doi]

Authors

Ou Wei

This author has not been identified. Look up 'Ou Wei' in Google

Arie Gurfinkel

This author has not been identified. Look up 'Arie Gurfinkel' in Google

Marsha Chechik

This author has not been identified. Look up 'Marsha Chechik' in Google
runs on