par Hunter, Paul William ;Perez, Guillermo A. ;Raskin, Jean-François
Référence Acta informatica, 54, 1, page (3-39)
Publication Publié, 2017
Article révisé par les pairs
Titre:
  • Reactive synthesis without regret
Auteur:Hunter, Paul William; Perez, Guillermo A.; Raskin, Jean-François
Informations sur la publication:Acta informatica, 54, 1, page (3-39)
Statut de publication:Publié, 2017
Sujet CREF:Sciences exactes et naturelles
Langue:Anglais
Identificateurs:urn:issn:0001-5903
info:doi/10.1007/s00236-016-0268-z
https://doi.org/10.1007/s00236-016-0268-z