Publications de
Meriem Ouederni, Gwen Salaun, Tevfik Bultan
Compatibility Checking for Asynchronously Communicating Software (regular paper)
Dans : Formal Aspects of Component Software (FACS 2013), China, 28/10/13-30/10/13, José Luiz Fiadeiro, Zhiming Liu (Eds.), Springer-Verlag, LNCS, p. 310-328, 2013.