Compatibility Checking for Asynchronously Communicating Software (2013)

by M Ouederni, G Salaün, T Bultan
Venue:In Proc. of FACS’13, LNCS