par Brenguier, Romain ;Perez, Guillermo A. ;Raskin, Jean-François ;Sankur, Ocan
Référence Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015., Vol. 202, page (98-111)
Publication Publié, 2015
Publication dans des actes
Titre:
  • Compositional Algorithms for Succinct Safety Games
Auteur:Brenguier, Romain; Perez, Guillermo A.; Raskin, Jean-François; Sankur, Ocan
Informations sur la publication:Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015., Vol. 202, page (98-111)
Statut de publication:Publié, 2015
series:EPTCS
Sujet CREF:Sciences exactes et naturelles
Langue:Anglais
Identificateurs:info:doi/10.4204/EPTCS.202.7
https://doi.org/10.4204/EPTCS.202.7

Documents en relation

DI-fusion