par Filiot, Emmanuel ;Jin, Naiyong ;Raskin, Jean-François
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