Merging Partial Behavioural Models (2004)

by S Uchitel, M Chechik
Venue:In Proc. of FSE'04