[ATVA 2016] Observational Refinement and Merge for Disjunctive MTSs.

Shoham Ben-David, Marsha Chechik and Sebastian Uchitel,
Observational Refinement and Merge for Disjunctive MTSs,
ATVA 2016.

Undefined