par Filiot, Emmanuel Cliquez pour télécharger la liste de publications de l'auteur; Jin, Naiyong Liste de publications; Raskin, Jean-François Liste de publications
Référence International Journal on Software Tools for Technology Transfer, 15, 5-6, (page 541-561)
Publication Publié, 2013
Article révisé par les pairs
Titre :
  • Exploiting structure in LTL synthesis
Auteur : Filiot, Emmanuel ; Jin, Naiyong ; Raskin, Jean-François
Informations sur la publication : International Journal on Software Tools for Technology Transfer, 15, 5-6, (page 541-561)
Statut de publication : Publié, 2013
Sujet CREF : Informatique mathématique
Sciences exactes et naturelles
Langue :
  • Anglais
Identificateurs : urn:issn:1433-2779