par Brenguier, Romain Cliquez pour télécharger la liste de publications de l'auteur; Perez Mejia, Guillermo Liste de publications; Raskin, Jean-François Liste de publications; Sankur, Ocan Liste de publications
Référence Electronic proceedings in theoretical computer science, 157, (page 100-116)
Publication Publié, 2014-07
Article révisé par les pairs
Titre :
  • AbsSynthe: Abstract synthesis from succinct safety specifications
Auteur : Brenguier, Romain ; Perez Mejia, Guillermo ; Raskin, Jean-François ; Sankur, Ocan
Informations sur la publication : Electronic proceedings in theoretical computer science, 157, (page 100-116)
Statut de publication : Publié, 2014-07
Sujet CREF : Généralités
Note : SCOPUS: cp.p
Langue :
  • Anglais
Identificateurs : urn:issn:2075-2180 
info:doi/10.4204/EPTCS.157.11