par Brenguier, Romain Cliquez pour télécharger la liste de publications de l'auteur; Raskin, Jean-François Liste de publications; Sankur, Ocan Liste de publications
Référence Acta informatica, 54, 1, (page 41-83)
Publication Publié, 2017-02
Article révisé par les pairs
Titre :
  • Assume-admissible synthesis
Auteur : Brenguier, Romain ; Raskin, Jean-François ; Sankur, Ocan
Informations sur la publication : Acta informatica, 54, 1, (page 41-83)
Statut de publication : Publié, 2017-02
Sujet CREF : Informatique générale
Téléinformatique interconnexion ordinateurs
Informatique appliquée logiciel
Note : SCOPUS: ar.j
Langue :
  • Anglais
Identificateurs : urn:issn:0001-5903 
info:doi/10.1007/s00236-016-0273-2