Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Tevfik Bultan

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Conférences et workshops internationaux / International conference papers

  • 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/2013-30/10/2013, José Luiz Fiadeiro, Zhiming Liu (Eds.), Springer-Verlag, LNCS, p. 310-328, 2013.
    BibTeX