par Brenguier, Romain ;Raskin, Jean-François ;Sankur, Ocan
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 générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:0001-5903
info:doi/10.1007/s00236-016-0273-2
info:scp/84978160783