Weak alphabet merging of partial behaviour models (0)

by G Brunet, M Chechik, D Fischbein, N D’Ippolito, S Uchitel
Venue:ACM Transactions on Software Engineering and Methodology (TOSEM