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.

Observational Refinement and Merge for Disjunctive MTSs

Shoham Ben-David, Marsha Chechik, Sebastián Uchitel. Observational Refinement and Merge for Disjunctive MTSs. In Cyrille Artho, Axel Legay, Doron Peled, editors, Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Volume 9938 of Lecture Notes in Computer Science, pages 287-303, 2016. [doi]

Authors

Shoham Ben-David

This author has not been identified. Look up 'Shoham Ben-David' in Google

Marsha Chechik

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

Sebastián Uchitel

This author has not been identified. Look up 'Sebastián Uchitel' in Google
runs on